Update local typecheck instructions

rzk-lang · Dec 13, 2023 · 26ce9aa · 26ce9aa
1 parent 8df4839
commit 26ce9aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.md b/src/index.md
@@ -7,5 +7,5 @@ This project contains formalisations that follow [the HoTT Book](https://homotop
 From the root of the project's repository, run:
 
 ```sh
-rzk typecheck src/**/*.rzk.md
+rzk typecheck
 ```