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

Safe Haskell	None

Data.Logic.Types.Harrison.Prop

Documentation

newtype Prop Source

Constructors

P
Fields pname :: String

Instances

Eq Prop
Data Prop
Ord Prop
Read Prop
Show Prop
Typeable Prop
HasFixity Prop
Pretty Prop
Show (Formula Prop)