From 62e292869303f0727da336740aed65f58091653a Mon Sep 17 00:00:00 2001
From: o1lo01ol1o <tim.pierson@gmail.com>
Date: Thu, 2 Dec 2021 10:54:30 +0000
Subject: [PATCH] Create shell.nix

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

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..39aa1e6
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,17 @@
+let
+   emacsOverlay = (import (builtins.fetchGit {
+      url = "https://github.com/nix-community/emacs-overlay.git";
+      ref = "master";
+      rev = "bfc8f6edcb7bcf3cf24e4a7199b3f6fed96aaecf"; # change the revision
+    }));
+   pkgs = import <nixpkgs> {overlays = [emacsOverlay] ;};
+in with pkgs;
+mkShell {
+  buildInputs = [
+    pkgs.emacs
+    (agda.withPackages (ps: [
+      ps.standard-library
+      ps.cubical
+    ]))
+  ];
+}
\ No newline at end of file