logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving
Data.Logic.Types.Harrison.Prop
newtype Prop Source
Constructors
Fields
Instances