Add installation instructions for nix

melted · Aug 4, 2020 · 14086fa · 14086fa
1 parent cef248e
commit 14086fa
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/INSTALL.md b/INSTALL.md
@@ -107,6 +107,13 @@ the intermediate code versions need to be consistent throughout.
 ### Installing using Homebrew
 
 If you are Homebrew user you can install Idris 2 together with all the requirements
-by running following command:
+by running the following command:
 
     brew install idris2
+
+### Installing from nix
+
+If you are a [nix](https://nixos.org/features.html) user you can install Idris 2 together with all the requirements
+by running the following command:
+
+    nix-env -i idris2