diff options
| author | stuebinm | 2023-09-23 20:33:14 +0200 |
|---|---|---|
| committer | stuebinm | 2023-09-23 20:33:14 +0200 |
| commit | b29058e9e5941e304d4df7362c1ffa90e350b049 (patch) | |
| tree | df111eef1325a9eafd4af838be54c98e531f1798 /home | |
| parent | b6b9768cea038183be2b26613f4466d9a3a3e8a8 (diff) | |
home: add lean4
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 |