1 files changed, 5 insertions, 0 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index cef73c6..ee125c9 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -37,6 +37,7 @@ nav:
     - List: 'type_system/list.md'
     - Lock: 'type_system/lock.md'
     - Namespace: 'type_system/namespace.md'
+    - Ir: 'type_system/ir.md'
   - Application:
     - Runtime: 'application/index.md'
     - Interface: 'application/interface.md'
@@ -63,3 +64,7 @@ nav:
     - Import: 'lifecycle/import.md'
     - Check: 'lifecycle/check.md'
     - Eval: 'lifecycle/eval.md'
+    - Ir: 'lifecycle/ir.md'
+    - Jit: 'lifecycle/jit.md'
+    - Exec: 'lifecycle/exec.md'
+    - Notify: 'lifecycle/notify.md'