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
Various changes
#4
Closed
coot
closed
5 years ago