update README.md

martinescardo · Sep 5, 2023 · a9aa5b0 · a9aa5b0
1 parent 123e4fb
commit a9aa5b0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -28,11 +28,11 @@ with only your name as author.
 
 ## Root of the development
 
- * [source/index.lagda](source/index.lagda] (only `--safe` modules`)
+ * [source/index.lagda](source/index.lagda] (only `--safe` modules`).
 
- * [source/AllModules.lagda](source/AllModules.lagda) (including "unsafe" ones)
+ * [source/AllModulesIndex.lagda](source/AllModules.lagda) (including "unsafe" ones).
 
- * Each subdirectory has its own index file.
+ * Each subdirectory in [source/](source/) has its own index file.
 
 ## Current contributors in alphabetical order of first name