30 lines
789 B
TOML
30 lines
789 B
TOML
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' |