All Versions
3
Latest Version
Avg Release Cycle
67 days
Latest Release
2253 days ago

Changelog History

  • v0.0.2.0 Changes

    February 16, 2019
    • ➕ 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

  • v0.0.1.2

    October 05, 2018

  • v0.0.1.1 Changes

    October 05, 2018
    • 🚀 First version. Released on an unsuspecting world.