Folly.Theorem

Documentation

data Theorem

Instances

Eq Theorem

Ord Theorem

Show Theorem

theorem :: [Formula] -> Formula -> Theorem

hypothesis :: Theorem -> [Formula]

conclusion :: Theorem -> Formula