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 {overlays = [emacsOverlay] ;}; +in with pkgs; +mkShell { + buildInputs = [ + pkgs.emacs + (agda.withPackages (ps: [ + ps.standard-library + ps.cubical + ])) + ]; +} \ No newline at end of file