git.iko.soy/Idris-dev
on master help sign in
Fix typo
b141a55Deniz A. Durmaz
INSTALL.md+1−1
compare with master
unifiedsplit
@@ -70,7 +70,7 @@ NixOS unstable.
70
70
71*Important* Stack will not install any external dependencies required
71*Important* Stack will not install any external dependencies required
72to build Idris. Before you try stack please ensure you have the
72to build Idris. Before you try stack please ensure you have the
73−correct depenencies.
73+correct dependencies.
74
74
75To build Idris with stack use the following command:
75To build Idris with stack use the following command:
76
76