1 files changed, 9 insertions(+), 0 deletions(-)
A default.nix
A default.nix => default.nix +9 -0
@@ 0,0 1,9 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+with pkgs;
+
+mkShell {
+ buildInputs = [
+ (agda.withPackages (p: [ p.standard-library p.cubical ]))
+ ];
+}