Merge branch 'main' into left-anodyne

rzk-lang · Nov 17, 2023 · a7f28a1 · a7f28a1
2 parents a3c4139 + 83e5914
commit a7f28a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -27,7 +27,7 @@ nav:
   - Simplicial HoTT:
       - Simplicial Type Theory: simplicial-hott/02-simplicial-type-theory.rzk.md
       - Extension Types: simplicial-hott/03-extension-types.rzk.md
-      - Right Orthogonal Fibrations: right-orthogonal/04-right-orthogonal.rzk.md
+      - Right Orthogonal Fibrations: simplicial-hott/04-right-orthogonal.rzk.md
       - Segal Types: simplicial-hott/05-segal-types.rzk.md
       - 2-Category of Segal Types: simplicial-hott/06-2cat-of-segal-types.rzk.md
       - Discrete Types: simplicial-hott/07-discrete.rzk.md