Folly-0.2.0.1: A first order logic library in Haskell
Folly.Theorem
data Theorem Source
Instances
theorem :: [Formula] -> Formula -> Theorem Source
hypothesis :: Theorem -> [Formula] Source
conclusion :: Theorem -> Formula Source