@@ -70,7 +70,7 @@ NixOS unstable.
7070
7171*Important* Stack will not install any external dependencies required
7272to build Idris. Before you try stack please ensure you have the
73−correct depenencies.
73+correct dependencies.
7474
7575To build Idris with stack use the following command:
7676