From 544eef53181f52423f513227e2bd98c20815b243 Mon Sep 17 00:00:00 2001 From: Justin Bedo Date: Mon, 27 Oct 2014 10:17:23 +1100 Subject: Improve computational complexity of varTerms by rewriting equations. --- default.nix | 2 ++ 1 file changed, 2 insertions(+) (limited to 'default.nix') diff --git a/default.nix b/default.nix index a1c9d56..e2d13af 100644 --- a/default.nix +++ b/default.nix @@ -3,6 +3,7 @@ , haskellPackages ? (import {}).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 -- cgit v1.2.3