From 8c1449a96ea2e8960fdca9dad9f6dcfe083a6235 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Wed, 9 Sep 2026 10:30:51 -0400
Subject: add types page

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

(limited to 'mkdocs.yml')

diff --git a/mkdocs.yml b/mkdocs.yml
index d64fc59..3b1c699 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -15,11 +15,12 @@ nav:
     - Values: values.md
     - Containers: containers.md
     - Coroutines: coroutines.md
+    - Types: types.md
   - Implementation:
     - IO: io.md
     - Thread: thread.md
     - Memory: memory.md
-    - Type: type.md
+    - Ast: ast.md
     - Code: code.md
   - Life Cycle:
     - Load: load.md
-- 
cgit v1.2.3