Revision history for heyting-algebra

0.1.0.0

• Swapped Boolean (now a type class) and BooleanAlgebra (now a data type)
• Reexport Algebra.Heyting and Algebra.Heyting.Free modules from lattices

0.0.2.0

• Added Algebra.Heyting.CounterExample
• Added Algebra.Heyting.Free.atom
• Added BoolRing a Boolean ring
• Check distributivity laws
• newtype Ordered adds Heyting algebra instance for every type satisfying the Ord constraint.
• (<=>) operator added
• Library does not depens on QuickCheck anymore

0.0.1.1 -- 2018.10.5

• First version. Released on an unsuspecting world.