issues
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
Boolean sublcass
#1
Closed
coot
closed
6 years ago