logic-classes-1.5.3: Framework for propositional and first order logic, theorem proving

Safe Haskell	None
Language	Haskell98

Data.Logic.Harrison.PropExamples

Documentation

data Atom a Source

Constructors

P String a (Maybe a)

Instances

Eq a => Eq (Atom a) Source
Ord a => Ord (Atom a) Source
Show (Formula (Atom Int)) Source
Show a => Show (Atom a) Source
HasFixity (Atom N) Source
Pretty (Atom N) Source

type N = Int Source

prime :: forall formula. (PropositionalFormula formula (Atom N), Ord formula) => N -> formula Source

ramsey :: forall formula. (PropositionalFormula formula (Atom N), Ord formula) => Int -> Int -> N -> formula Source

tests :: Test Source