Closed sheaf closed 3 years ago
This adds GHC 9.0 and singletons 3.0 support for:
algebraic-prelude
halg-algorithms
halg-core
halg-matrices
halg-polynomials
I'm using cabal and not stack, which is why I added some cabal.project files. I hope that's OK.
cabal.project
Thanks a lot! I will test it on my environment to check if it works well with stack.
I confirmed that the mentioned packages are all buildable also with stack + GHC 9.0.1. Thanks!
This adds GHC 9.0 and singletons 3.0 support for:
algebraic-prelude
halg-algorithms
halg-core
halg-matrices
halg-polynomials
I'm using cabal and not stack, which is why I added some
cabal.project
files. I hope that's OK.