Use inherit

cardano-scaling · Jul 5, 2024 · 5f67a95 · 5f67a95
1 parent 2b99a9a
commit 5f67a95
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -19,7 +19,10 @@
       ];
       perSystem = { pkgs, ... }:
         let
-          agdaPackages = pkgs.callPackage ./nix/initial-packages.nix { Agda = pkgs.haskellPackages.Agda; nixpkgs = inputs.nixpkgs; };
+          agdaPackages = pkgs.callPackage ./nix/initial-packages.nix {
+            inherit (pkgs.haskellPackages) Agda;
+            inherit (inputs) nixpkgs;
+          };
           buildInputs = with agdaPackages;
             [
               formal-ledger