diff options
Diffstat (limited to 'home')
| -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 ca923ca..16e8e3c 100644 --- a/home/packages.nix +++ b/home/packages.nix @@ -45,7 +45,7 @@ in haskell-language-server haskellPackages.hoogle haskellPackages.stylish-haskell # other functional things - racket dhall lean4 dune_2 ocamlPackages.utop ocamlPackages.ocp-indent + racket dhall dune_2 ocamlPackages.utop ocamlPackages.ocp-indent ocamlPackages.merlin ocaml gauche (agda.withPackages (p: [ p.standard-library p.cubical ])) (twelf.overrideAttrs (old: { |