All Versions
3
Latest Version
Avg Release Cycle
67 days
Latest Release
1225 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.