From ad7209c06486babc0f9f53fa4d507a26e51d8321 Mon Sep 17 00:00:00 2001 From: John Ericson Date: Mon, 28 Jan 2019 14:26:26 -0500 Subject: [PATCH] Add Cabal project for both packages --- cabal.project | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 cabal.project diff --git a/cabal.project b/cabal.project new file mode 100644 index 0000000..7ec1c4e --- /dev/null +++ b/cabal.project @@ -0,0 +1,2 @@ +packages: dependent-sum + , dependent-sum-template