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
       ];

machines/extremophile/configuration.nix

@@ -5,9 +5,4 @@
   nathan = { config = { isDesktop = true; }; };
   # Setup home manager
   home-manager.users.nathan = import ./home.nix;
-  # Configure nix build
-  nix.settings = {
-    cores = 8;
-    max-jobs = 2;
-  };
 }

machines/extremophile/home.nix

@@ -5,7 +5,7 @@
     programs = {
       util = { git = { gpgSign = false; }; };
       devel = {
-        idris2 = true;
+        idris2 = false;
         haskell = false;
         js = false;
         raku = false;

modules/darwin/default.nix

@@ -28,9 +28,6 @@ in {
             enable = mkDefaultOption "Communication applications"
               config.nathan.config.isDesktop;
           };
-          # Virtualization
-          virtualization =
-            mkDefaultOption "Virtualization" config.nathan.config.isDesktop;
         };
       };
     };
@@ -71,10 +68,6 @@ in {
       };
       casks = lib.mkMerge [
         (lib.mkIf config.nathan.programs.firefox [{ name = "firefox"; }])
-        (lib.mkIf config.nathan.programs.virtualization [
-          { name = "crossover"; }
-          { name = "utm"; }
-        ])
         (lib.mkIf config.nathan.programs.communications.enable [
           { name = "discord"; }
           { name = "betterdiscord-installer"; }