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