From b29058e9e5941e304d4df7362c1ffa90e350b049 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 23 Sep 2023 20:33:14 +0200
Subject: home: add lean4

---
 home/packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'home/packages.nix')

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
-- 
cgit v1.2.3