Enable idris2 on mac

2023-03-27 19:50:58 -04:00 · 2023-03-27 19:50:58 -04:00 · ffe4a6c26b
parent 6a9ad2eec3
commit ffe4a6c26b
2 changed files with 2 additions and 2 deletions
--- a/home-manager/common/programs/devel.nix
+++ b/home-manager/common/programs/devel.nix
@ -83,7 +83,7 @@ with nLib; {
    (mkIf devel.idris2 {
      home.packages = with pkgs; [
        inputs.idris2.packages."${pkgs.system}".idris2
-        chez
+        # chez
        gmp
        rlwrap
      ];
--- a/machines/extremophile/home.nix
+++ b/machines/extremophile/home.nix
@ -5,7 +5,7 @@
    programs = {
      util = { git = { gpgSign = false; }; };
      devel = {
-        idris2 = false;
+        idris2 = true;
        haskell = false;
        js = false;
        raku = false;