diff options
Diffstat (limited to 'pkgs/top-level/agda-packages.nix')
| -rw-r--r-- | pkgs/top-level/agda-packages.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/top-level/agda-packages.nix b/pkgs/top-level/agda-packages.nix index 3209aff9496..7434134d28f 100644 --- a/pkgs/top-level/agda-packages.nix +++ b/pkgs/top-level/agda-packages.nix @@ -11,6 +11,8 @@ let in { inherit mkDerivation; + lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; }); + agda = withPackages [] // { inherit withPackages; }; standard-library = callPackage ../development/libraries/agda/standard-library { @@ -25,6 +27,9 @@ let cubical = callPackage ../development/libraries/agda/cubical { }; + functional-linear-algebra = callPackage + ../development/libraries/agda/functional-linear-algebra { }; + generic = callPackage ../development/libraries/agda/generic { }; }; in mkAgdaPackages Agda |