update link

martinescardo · Sep 5, 2023 · cd9acd9 · cd9acd9
1 parent 6da64de
commit cd9acd9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -30,7 +30,7 @@ with only your name as author.
 
  * [source/index.lagda](source/index.lagda) (only `--safe` modules`).
 
- * [source/AllModulesIndex.lagda](source/AllModules.lagda) (including "unsafe" ones).
+ * [source/AllModulesIndex.lagda](source/AllModulesIndex.lagda) (including "unsafe" ones).
 
  * Each subdirectory in [source/](source/) has its own index file.