GHC 8.8 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 is connected to #8. Also won't build with --allow-newer, but for different reasons.

sonatsuer commented 3 years ago

Ping... Any news on this? Is the project abandoned?

kozross commented 3 years ago

@sonatsuer Given that current is now GHC 9, I would say 'abandoned' is correct.

sonatsuer commented 3 years ago

Bummer...

coot commented 3 years ago

I'll update it soon.