Closed melted closed 4 years ago
I see cheapskate has already has a commit for working with GHC 8.8, so this issue is for publishing a version with the patch on hackage.
We would like for making idris work with a new GHC: https://github.com/idris-lang/Idris-dev/issues/4757
done!
Thanks!
I see cheapskate has already has a commit for working with GHC 8.8, so this issue is for publishing a version with the patch on hackage.
We would like for making idris work with a new GHC: https://github.com/idris-lang/Idris-dev/issues/4757