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.