# 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.