summaryrefslogtreecommitdiff
path: root/home
diff options
context:
space:
mode:
Diffstat (limited to 'home')
-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