30 lines
542 B
YAML
30 lines
542 B
YAML
- title: "Examples"
|
|
url: false
|
|
weight: 500
|
|
id: examples
|
|
|
|
- title: "All on Single Page"
|
|
url: "content/allpages.html"
|
|
weight: 890
|
|
tab: true
|
|
|
|
- title: "Links"
|
|
url: false
|
|
weight: 900
|
|
id: links
|
|
|
|
- title: "GitHub Project"
|
|
url: "https://github.com/fisakov/constraints-typechecking"
|
|
parent: links
|
|
tab: true
|
|
|
|
- title: "Latest Release"
|
|
url: "https://github.com/fisakov/constraints-typechecking/releases"
|
|
parent: links
|
|
tab: true
|
|
|
|
- title: "JetBrains MPS"
|
|
url: "https://www.jetbrains.com/mps/"
|
|
parent: links
|
|
tab: true
|