diff options
| author | stuebinm | 2022-03-17 13:52:03 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-17 13:52:03 +0100 |
| commit | 295e51f327b355eab608ebb890aeeaea0ed2b02f (patch) | |
| tree | 6346b48ef9e06895ba2750f468732ccb806e507d /home | |
| parent | cf6f7694a167cec2ca39652bd2bae599a4fd46fb (diff) | |
home: add (cubical) agda
Diffstat (limited to 'home')
| -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 |