search

typelevel / algebra

Experimental project to lay out basic algebra type classes
https://typelevel.org/algebra/
Other
378 stars 69 forks source link

Test Heyting algebra laws. #92

Closed TomasMikula closed 8 years ago

TomasMikula commented 8 years ago

This PR adds an implementation of the simplest Heyting algebra that is not already a Boolean algebra and tests that it satisfies the Heyting laws. The point here is actually to test the Heyting laws, not the added SimpleHeyting class.