diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-03 13:32:57 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-03 13:32:57 -0400 |
| commit | af9a7e5fcd83f3fab09c309e405f580b06dc5179 (patch) | |
| tree | fc6656d3dbbc5fb96781acdd1e7efb710d918d18 /mkdocs.yml | |
| parent | 8bab3c5a97c035cc8dadfea9b2a9a761cdf7997c (diff) | |
add syntax page
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -4,3 +4,5 @@ repo_url: https://git.kpl.dev/kpl-specification/ repo_name: Markdown Source nav: - Main: 'index.md' + - Syntax: 'syntax/index.md' + - Type System: 'type_system/index.md' |
