diff --git a/home-manager/common/programs/devel.nix b/home-manager/common/programs/devel.nix
index 74890b4..8b53d11 100644
--- 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
       ];
diff --git a/machines/extremophile/home.nix b/machines/extremophile/home.nix
index 89a85e0..94badbe 100644
--- 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;