diff options
| -rw-r--r-- | home/packages.nix | 1 |
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 |