logic-classes-1.5.3: Framework for propositional and first order logic, theorem proving
Data.Logic.Types.Common