Decided against using numerical prefixes for the lessons. We can orde…

…r them however we want in the mkdocs.yml file.
djacu · Feb 14, 2024 · 86fddb1 · 86fddb1
1 parent 2d3d520
commit 86fddb1
Show file tree

Hide file tree

Showing 7 changed files with 2 additions and 2 deletions.
diff --git a/lessons/010-basic-types/config.nix → lessons/basic-types/config.nix b/lessons/010-basic-types/config.nix → lessons/basic-types/config.nix
diff --git a/lessons/010-basic-types/eval.nix → lessons/basic-types/eval.nix b/lessons/010-basic-types/eval.nix → lessons/basic-types/eval.nix
diff --git a/lessons/010-basic-types/lesson.md → lessons/basic-types/lesson.md b/lessons/010-basic-types/lesson.md → lessons/basic-types/lesson.md
diff --git a/lessons/010-basic-types/options.nix → lessons/basic-types/options.nix b/lessons/010-basic-types/options.nix → lessons/basic-types/options.nix
diff --git a/lessons/010-basic-types/run.sh → lessons/basic-types/run.sh b/lessons/010-basic-types/run.sh → lessons/basic-types/run.sh
diff --git a/lessons/001-a-module/lesson.md → lessons/what-is-a-module/lesson.md b/lessons/001-a-module/lesson.md → lessons/what-is-a-module/lesson.md
diff --git a/site/mkdocs.yml b/site/mkdocs.yml
@@ -8,10 +8,10 @@ nav:
   - Home: index.md
   - Lessons:
     - Getting Started:
-      - lessons/001-a-module/lesson.md
+      - lessons/what-is-a-module/lesson.md
       - lessons/module-evaluation/lesson.md
     - Types:
-      - lessons/010-basic-types/lesson.md
+      - lessons/basic-types/lesson.md
       - lessons/composed-types/lesson.md
       - lessons/submodule-types/lesson.md
     - Misc: