diff options
Diffstat (limited to '')
| -rw-r--r-- | home/packages.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/packages.nix b/home/packages.nix index 10cb78e..4ed480e 100644 --- a/home/packages.nix +++ b/home/packages.nix @@ -38,7 +38,7 @@ in haskell-language-server haskellPackages.hoogle haskellPackages.stylish-haskell # other functional things - racket dhall lean dune_2 ocamlPackages.utop ocamlPackages.ocp-indent + racket dhall lean4 dune_2 ocamlPackages.utop ocamlPackages.ocp-indent ocamlPackages.merlin ocaml gauche (agda.withPackages (p: [ p.standard-library p.cubical ])) # html, js & co |