hatt 1.1 → 1.1.1

raw patch · 4 files changed

+4/−4 lines, 4 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

hatt.cabal +1/−1
src/Data/Logic/Propositional/Core.hs +1/−1
src/Data/Logic/Propositional/Parser.hs +1/−1
src/hatt.hs +1/−1

hatt.cabal view

@@ -1,5 +1,5 @@ Name:               hatt-Version:            1.1+Version:            1.1.1 Stability:          experimental  Synopsis:           A truth table generator for classical propositional logic.

src/Data/Logic/Propositional/Core.hs view

@@ -41,7 +41,7 @@ interpret (Negation      expr)      vs = not $ interpret expr vs interpret (Conjunction   exp1 exp2) vs = interpret exp1 vs && interpret exp2 vs interpret (Disjunction   exp1 exp2) vs = interpret exp1 vs || interpret exp2 vs-interpret (Conditional   exp1 exp2) vs = not $ interpret exp1 vs || interpret exp2 vs+interpret (Conditional   exp1 exp2) vs = not (interpret exp1 vs) || interpret exp2 vs interpret (Biconditional exp1 exp2) vs = interpret exp1 vs == interpret exp2 vs  -- | Generates the possible assignments of variables in an expression.

src/Data/Logic/Propositional/Parser.hs view

@@ -73,5 +73,5 @@     connective "<->" = Biconditional     connective _     = error "Impossible case" -variableChars :: [Char]+variableChars :: String variableChars = ['a'..'z'] ++ ['A'..'Z']

src/hatt.hs view

@@ -27,7 +27,7 @@                      &= help "Print the truth table for the given expression"   , interactive = False &= help "Enter interactive mode"   , pretty      = False &= help "Use Unicode logic symbols"-  } &= summary "Hatt 1.0, (c) Benedict Eastaugh 2011"+  } &= summary "Hatt 1.1.1, (c) Benedict Eastaugh 2011"     &= program "hatt"  main :: IO ()