diff options
author | Justin Bedo <cu@cua0.org> | 2014-10-27 10:17:23 +1100 |
---|---|---|
committer | Justin Bedo <cu@cua0.org> | 2014-10-27 10:18:31 +1100 |
commit | 544eef53181f52423f513227e2bd98c20815b243 (patch) | |
tree | 5af4b35386c603b0fbbe5c7705a325d5f9b0d69b /default.nix | |
parent | e60c072870ee428720dce1f22890f1ce075325e4 (diff) |
Improve computational complexity of varTerms by rewriting equations.
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/default.nix b/default.nix index a1c9d56..e2d13af 100644 --- a/default.nix +++ b/default.nix @@ -3,6 +3,7 @@ , haskellPackages ? (import <nixpkgs> {}).haskellPackages }: let inherit (haskellPackages) cabal + QuickCheck recursionSchemes lens free; @@ -15,6 +16,7 @@ in cabal.mkDerivation (self: { src = ./.; isLibrary = true; buildDepends = [ + QuickCheck recursionSchemes lens free |