twee
twee copied to clipboard
nick8325
An equational theorem prover based on Knuth-Bendix completion
Results
2
twee issues
Sort by
recently updated
recently updated
newest added
ci
1
- **Fix issue #9: raise `base` lower bound to prevent compilation failures** - **Haskell CI on GitHub Action for the supported GHC versions (8.4/6 - 9.8)**
https://github.com/nick8325/twee/blob/eb4b83b4df6dd16fbff091b3fd90b5a55c88d41a/twee.cabal#L47-L52 See upstream issues: - haskell/cabal#9724 - haskell/cabal#9742