Changeset 18

Timestamp:

Apr 27, 2014, 5:34:17 PM (11 years ago)

Author:

gobi

Message:

creating a branch

Location:

sizechecking

Files:

• branches (added)
• branches/macs (added)
• trunk (added)
• trunk/Constraints.hs (moved) (moved from sizechecking/Constraints.hs)
• trunk/Examples.hs (moved) (moved from sizechecking/Examples.hs)
• trunk/LICENSE (moved) (moved from sizechecking/LICENSE)
• trunk/Lambda.hs (moved) (moved from sizechecking/Lambda.hs)
• trunk/README.html (moved) (moved from sizechecking/README.html)
• trunk/README.txt (moved) (moved from sizechecking/README.txt)
• trunk/Setup.hs (moved) (moved from sizechecking/Setup.hs)
• trunk/SizedExp.hs (moved) (moved from sizechecking/SizedExp.hs)
• trunk/Test.hs (moved) (moved from sizechecking/Test.hs)
• trunk/sizechecking.cabal (moved) (moved from sizechecking/sizechecking.cabal) (1 diff)

sizechecking/trunk/sizechecking.cabal

@@ -55 +55 @@
   
   -- Other library packages from which modules are imported.
-  build-depends:       base ==4.6.*, containers ==0.5.*, sbv, value-supply
+  build-depends:       base ==4.6.*, containers ==0.5.*, sbv, value-supply,
+                       transformers