From af9a7e5fcd83f3fab09c309e405f580b06dc5179 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Sun, 3 May 2026 13:32:57 -0400
Subject: add syntax page

---
 mkdocs.yml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'mkdocs.yml')

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'
-- 
cgit v1.2.3