Heyting Algebras v0.0.2.0 Release Notes

Release Date: 2019-02-16 // about 5 years ago
    • โž• 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

Previous changes from v0.0.1.1

    • ๐Ÿš€ First version. Released on an unsuspecting world.