search

coot / heyting-algebras

Heyting Algebras in Haskell
https://hackage.haskell.org/package/heyting-algebras
BSD 3-Clause "New" or "Revised" License
14 stars 2 forks source link

CounterExample Heyting algebra #6

Closed coot closed 5 years ago