1 files changed, 2 insertions, 0 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index ee3de01..6df0e4d 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -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'