Add Cabal project for both packages

This commit is contained in:
John Ericson 2019-01-28 14:26:26 -05:00
parent 12c771b562
commit ad7209c064

2
cabal.project Normal file
View File

@ -0,0 +1,2 @@
packages: dependent-sum
, dependent-sum-template