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

Safe Haskell	None
Language	Haskell98

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
HasFixity Prop
Pretty Prop
Typeable * Prop
Show (Formula Prop)