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