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

Safe HaskellNone

Data.Logic.Harrison.PropExamples

Documentation

data Atom a Source

Constructors

P String a (Maybe a) 

Instances

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

type N = IntSource

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

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

tests :: TestSource