home/rachel.nix

@@ -1,7 +1,19 @@
 { pkgs, cornelis, cornelis-vim, agda, ... }:
 let username = "rachel";
     homeDir = "/home/${username}";
-    SAX2 = import ../shared/sax2.nix { inherit pkgs; };
+    SAX2 = pkgs.fetchurl {
+      name = "SAX2";
+      url = "https://abrudz.github.io/SAX2/SAX2.ttf";
+      sha256 = "sha256-DgvDWXO2fnKZNu9EvQOq8GNMTU3PUdp85+/0ZHdRXZc=";
+      
+      recursiveHash = true;
+      
+      downloadToTemp = true;
+      postFetch = ''
+        mkdir -p "$out/share/fonts/truetype"
+        mv "$downloadedFile" "$out/share/fonts/truetype/SAX2.ttf"
+      '';
+    };
     hpkgs = pkgs.haskellPackages;
     hls_wrapper = pkgs.writeScript "hls" ''
       export PATH="${hpkgs.haskell-language-server}/bin:$PATH"
@@ -78,7 +90,6 @@ in
       sage
       typst
       ttyper
-      idris2
     ];
     stateVersion = "23.05";
   };
@@ -233,7 +244,7 @@ in
         tmux-nvim
         cornelis-vim
         nvim-lspconfig
-        idris2-vim
+        magma-nvim-goose
       ];
     };
 

shared/sax2.nix

@@ -1,14 +0,0 @@
-{ pkgs, ... }:
-pkgs.fetchurl {
-  name = "SAX2";
-  url = "https://abrudz.github.io/SAX2/SAX2.ttf";
-  sha256 = "sha256-DgvDWXO2fnKZNu9EvQOq8GNMTU3PUdp85+/0ZHdRXZc=";
-
-  recursiveHash = true;
- 
-  downloadToTemp = true;
-  postFetch = ''
-   mkdir -p "$out/share/fonts/truetype"
-   mv "$downloadedFile" "$out/share/fonts/truetype/SAX2.ttf"
-  '';
-}