Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / seereason/atp-haskell issues and pull requests
#3 - Build failure with GHC 8.8 and up (fail removed from Monad)
Pull Request -
State: closed - Opened by andreasabel 11 months ago
- 4 comments
#2 - CNF errors
Issue -
State: closed - Opened by WolframKahl 11 months ago
- 8 comments
#1 - A quasi quoter for entering formulas would be nice
Issue -
State: closed - Opened by ddssff over 9 years ago
- 1 comment