search

purescript-contrib / purescript-quickcheck-laws

QuickCheck powered law tests for PureScript's core typeclasses.
MIT License
25 stars 18 forks source link

Add checks for `HeytingAlgebra` and `BooleanAlgebra` #13

Closed garyb closed 8 years ago

garyb commented 8 years ago