1 files changed, 1 insertions, 0 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index e3b4805..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'