1 files changed, 14 insertions, 0 deletions
diff --git a/shell/idris.nix b/shell/idris.nix
new file mode 100644
index 0000000..4bf4315
--- /dev/null
+++ b/shell/idris.nix
@@ -0,0 +1,14 @@
+{}:
+with import <nixpkgs> {};
+let
+  idrDependencies = with pkgs.idrisPackages; [
+    js
+  ];
+  dependencies = with pkgs; [
+    idris2
+  ];
+in
+stdenv.mkDerivation {
+  name = "idris-pigeon";
+  buildInputs = dependencies ++ idrDependencies;
+}