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