summaryrefslogtreecommitdiff
path: root/home
diff options
context:
space:
mode:
authorstuebinm2024-06-14 21:48:54 +0200
committerstuebinm2024-06-14 21:48:54 +0200
commitfa5d12b784f0bf09e473e79eecd6527e956d334d (patch)
tree4f96a50c3162ebfcf2c4b098898382a0f9126e23 /home
parentdaeee8711bfdb4eb635307a184d4c0c7eee61756 (diff)
home: remove lean
having tried multiple times, it's not actually very possible or reasonable to attempt to keep lean's version in sync with whatever mathlib requires at any given time, and probably better to have it just be managed by elan, no matter how annoying that may be.
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: {