git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4747 from dalpd/fix/master/typo
a1b3097Jan de Muijnck-Hughes
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