summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2022-03-17 13:52:03 +0100
committerstuebinm2022-03-17 13:52:03 +0100
commit295e51f327b355eab608ebb890aeeaea0ed2b02f (patch)
tree6346b48ef9e06895ba2750f468732ccb806e507d
parentcf6f7694a167cec2ca39652bd2bae599a4fd46fb (diff)
home: add (cubical) agda
-rw-r--r--home/packages.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/home/packages.nix b/home/packages.nix
index 92473a2..4d3af71 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -32,6 +32,7 @@ in
# other functional things
racket dhall lean dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
ocamlPackages.merlin ocaml gauche
+ (agda.withPackages (p: [ p.standard-library p.cubical ]))
# html, js & co
jq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
# purescript