idris tooling

home/rachel.nix

@@ -1,19 +1,7 @@
 { pkgs, cornelis, cornelis-vim, agda, ... }:
 let username = "rachel";
     homeDir = "/home/${username}";
-    SAX2 = pkgs.fetchurl {
+    SAX2 = import ../shared/sax2.nix { inherit pkgs; };
-      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"
@@ -90,6 +78,7 @@ in
       sage
       typst
       ttyper
+      idris2
     ];
     stateVersion = "23.05";
   };
@@ -244,7 +233,7 @@ in
         tmux-nvim
         cornelis-vim
         nvim-lspconfig
-        magma-nvim-goose
+        idris2-vim
       ];
     };
 

shared/sax2.nix

@@ -0,0 +1,14 @@
+{ 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"
+  '';
+}