GHC 8.10 support - Githubissues

coot / heyting-algebras

Heyting Algebras in Haskell

BSD 3-Clause "New" or "Revised" License

14 stars 2 forks source link

Open kozross opened 4 years ago

kozross commented 4 years ago

This would be good to have, but currently, this library won't build, even with --allow-newer.

sonatsuer commented 3 years ago

Ping... Any news?