aboutsummaryrefslogtreecommitdiff
path: root/default.nix
diff options
context:
space:
mode:
authorJustin Bedo <cu@cua0.org>2014-10-27 10:17:23 +1100
committerJustin Bedo <cu@cua0.org>2014-10-27 10:18:31 +1100
commit544eef53181f52423f513227e2bd98c20815b243 (patch)
tree5af4b35386c603b0fbbe5c7705a325d5f9b0d69b /default.nix
parente60c072870ee428720dce1f22890f1ce075325e4 (diff)
Improve computational complexity of varTerms by rewriting equations.
Diffstat (limited to 'default.nix')
-rw-r--r--default.nix2
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