Merge pull request #171 from ncfavier/patch-1

fix typo
rzk-lang · Mar 19, 2024 · 9f851f5 · 9f851f5
2 parents e4700d2 + c6d07d0
commit 9f851f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/config/en/mkdocs.yml b/docs/config/en/mkdocs.yml
@@ -19,7 +19,7 @@ nav:
     - getting-started/index.md
     - Install: getting-started/install.md
     - Quickstart: getting-started/quickstart.rzk.md
-    - Depedent Types: getting-started/dependent-types.rzk.md
+    - Dependent Types: getting-started/dependent-types.rzk.md
     - Setting up an Rzk project: getting-started/project.md
   - Reference:
     - Introduction: reference/introduction.rzk.md