Revision history for heyting-algebra

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.