1 files changed, 2 insertions, 0 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index 90c3be3..43aeaea 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -36,3 +36,5 @@ nav:
     - Op: 'type_system/op.md'
     - List: 'type_system/list.md'
     - Namespace: 'type_system/namespace.md'
+  - Application:
+    - Processes: 'application/index.md'