2020-05-15 21:57:56 +00:00
|
|
|
{ pkgs, lib, callPackage, newScope, Agda }:
|
|
|
|
|
|
|
|
|
|
let
|
|
|
|
|
mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);
|
|
|
|
|
mkAgdaPackages' = Agda: self: let
|
|
|
|
|
callPackage = self.callPackage;
|
|
|
|
|
inherit (callPackage ../build-support/agda {
|
|
|
|
|
inherit Agda self;
|
|
|
|
|
inherit (pkgs.haskellPackages) ghcWithPackages;
|
|
|
|
|
}) withPackages mkDerivation;
|
|
|
|
|
in {
|
|
|
|
|
inherit mkDerivation;
|
|
|
|
|
|
|
|
|
|
agda = withPackages [] // { inherit withPackages; };
|
|
|
|
|
|
|
|
|
|
standard-library = callPackage ../development/libraries/agda/standard-library {
|
|
|
|
|
inherit (pkgs.haskellPackages) ghcWithPackages;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
|
|
|
|
|
|
|
|
|
|
agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
|
|
|
|
|
|
|
|
|
|
agda-categories = callPackage ../development/libraries/agda/agda-categories { };
|
2020-05-29 06:06:01 +00:00
|
|
|
|
|
|
|
|
cubical = callPackage ../development/libraries/agda/cubical { };
|
2020-08-20 17:08:02 +00:00
|
|
|
|
2020-10-16 20:44:37 +00:00
|
|
|
functional-linear-algebra = callPackage
|
|
|
|
|
../development/libraries/agda/functional-linear-algebra { };
|
|
|
|
|
|
2020-08-20 17:08:02 +00:00
|
|
|
generic = callPackage ../development/libraries/agda/generic { };
|
2020-05-15 21:57:56 +00:00
|
|
|
};
|
|
|
|
|
in mkAgdaPackages Agda
|
