« Changelog History


Heyting Algebras v0.0.2.0 Release Notes

Release Date: 2019-02-16 // about 6 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.