From f8b7b030d293c17232753103564eba7e2f417a24 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sun, 11 Apr 2021 14:03:58 +0530
Subject: Adds collection of shell files and new-shell command

---
 shell/idris.nix | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 shell/idris.nix

(limited to 'shell/idris.nix')

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;
+}
-- 
cgit v1.3.1