liquid haskell

2024-06-25 11:41:31 +02:00 · 2024-06-25 11:41:31 +02:00 · 8fa3aedaf7
commit 8fa3aedaf7
parent 6b9c7deb61
1 changed files with 6 additions and 1 deletions
--- a/gunther/leonv.nix
+++ b/gunther/leonv.nix
@ -13,6 +13,11 @@
  home.packages = with pkgs; [ 
    # theme for gtk applications
    orchis-theme
+    nextcloud-client
+    ausweisapp
+
+    # smt solver for liquid haskell
+    z3

    # stuff
    tidal-hifi
@ -46,7 +51,7 @@
    jdk11
    coq
    gcc
-    ghc
+    haskell.compiler.ghc981
    cabal-install
    haskell-language-server
    python3