add types page

1 files changed, 2 insertions, 1 deletions

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