From 0d4f4576e1bef188173e837e93d98834162ac5fe Mon Sep 17 00:00:00 2001 From: Tashi Walde Date: Sat, 11 Nov 2023 11:43:22 +0100 Subject: [PATCH] typo in mkdocs.yaml --- mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index edb77cb8..d452ca56 100644 --- 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