Folly 0.1.0.0 → 0.1.1.0

raw patch · 2 files changed

+15/−1 lines, 2 files

Files

• Folly.cabal +1/−1
• test/Main.hs +14/−0

@@ -2,7 +2,7 @@ --  see http://haskell.org/cabal/users-guide/  name:                Folly-version:             0.1.0.0+version:             0.1.1.0 synopsis:            A first order logic library in Haskell description:         An implementation of first order logic in Haskell that 		     includes a library of modules for incorporating first

@@ -0,0 +1,14 @@+module Main(main) where++import Folly.FormulaTests+import Folly.LexerTests+import Folly.ParserTests+import Folly.ResolutionTests+import Folly.UnificationTests++main = do+  allFormulaTests+  allLexerTests+  allParserTests+  allResolutionTests+  allUnificationTests