baseURL = 'https://example.org/'
languageCode = 'en-us'
title = 'Formal Methods Tools'
theme = 'fmtools'

[menus]
  main = [
    # { name = 'Home', url = '/', weight = 1 },
    { name = 'Tools', url = '/tools/', weight = 2 },
    # { name = 'Benchmarks', url = '/benchmarks/', weight = 2 },
    { name = 'Data', url = '/taxonomies/', weight = 3 },
    { name = 'About', url = '/about/', weight = 4 }
  ]

[taxonomies]
  application = 'applications'
  domain = 'domains'
  developer = 'developers'
  license = 'licenses'
  interface = 'interfaces'
  input = 'inputs'
  technique = 'techniques'
  maintenance = 'maintenance'

  # purpose = 'purposes'
  # language = 'languages'
  # system = 'systems'
  # interaction = 'interactions'
  # # formalism = 'formalisms'
  # testThing = 'test ing'