Fix Agda-related nix shell error and add texlive

nix/agda-packages.nix

@@ -1,4 +1,10 @@
-{ repoRoot, inputs, pkgs, system, lib }:
+{ repoRoot
+, inputs
+, pkgs
+, system
+, lib
+,
+}:
 
 # We want to keep control of which version of Agda we use, so we supply our own and override
 # the one from nixpkgs.
@@ -18,25 +24,26 @@
 let
   Agda = repoRoot.nix.agda-project.hsPkgs.Agda;
 
-  frankenAgda = (pkgs.symlinkJoin {
+  frankenAgdaBin = pkgs.symlinkJoin {
     name = "agda";
+    version = Agda.identifier.version;
     paths = [
       Agda.components.exes.agda
       Agda.components.exes.agda-mode
     ];
-  }) //
-  {
-    version = Agda.identifier.version;
   };
 
-  frankenPkgs =
-    pkgs //
-    {
-      haskellPackages = pkgs.haskellPackages //
-      {
-        inherit (repoRoot.nix.agda-project) ghcWithPackages;
-      };
+  frankenAgda = frankenAgdaBin // {
+    # Newer Agda is built with enableSeparateBinOutput, hence this hacky workaround.
+    # https://github.com/NixOS/nixpkgs/commit/294245f7501e0a8e69b83346a4fa5afd4ed33ab3
+    bin = frankenAgdaBin;
+  };
+
+  frankenPkgs = pkgs // {
+    haskellPackages = pkgs.haskellPackages // {
+      inherit (repoRoot.nix.agda-project) ghcWithPackages;
     };
+  };
 in
 
 pkgs.agdaPackages.override {

nix/shell.nix

@@ -35,6 +35,9 @@ in
     repoRoot.nix.r-with-packages
     pkgs.R
 
+    # LaTeX environment
+    pkgs.texlive
+
     # Misc useful stuff, could make these commands but there's a lot already
     pkgs.jekyll
     pkgs.plantuml