Changeset 18 for sizechecking/trunk

Timestamp:

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

Author:

gobi

Message:

creating a branch

Location:

sizechecking/trunk

Files:

• . (added)
• Constraints.hs (moved) (moved from sizechecking/Constraints.hs)
• Examples.hs (moved) (moved from sizechecking/Examples.hs)
• LICENSE (moved) (moved from sizechecking/LICENSE)
• Lambda.hs (moved) (moved from sizechecking/Lambda.hs)
• README.html (moved) (moved from sizechecking/README.html)
• README.txt (moved) (moved from sizechecking/README.txt)
• Setup.hs (moved) (moved from sizechecking/Setup.hs)
• SizedExp.hs (moved) (moved from sizechecking/SizedExp.hs)
• Test.hs (moved) (moved from sizechecking/Test.hs)
• 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