Initial commit.

http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html

1 files changed, 8 insertions, 0 deletions

diff --git a/default.nix b/default.nix
new file mode 100644
index 0000000..887dd0a
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,8 @@
+with import <nixpkgs> {}; 
+
+{
+  idrisEnv = stdenv.mkDerivation {
+    name = "idris";
+    buildInputs = [ haskellPackages.idris gmp ];
+  };
+}