Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / idris-lang/Idris2 issues and pull requests
#10 - More fixes and improvements
Pull Request -
State: closed - Opened by ska80 over 4 years ago
- 1 comment
#9 - Ignoring autogenerated bootstrap/test files
Pull Request -
State: closed - Opened by zenntenn over 4 years ago
- 1 comment
#8 - Refactor Utils.String.stripQuotes to avoid double reversion on Strings
Pull Request -
State: closed - Opened by fabianhjr over 4 years ago
- 1 comment
#7 - Fix chez016 test
Pull Request -
State: closed - Opened by chrrasmussen over 4 years ago
- 1 comment
#6 - Create new mapError utility function and refactor some parser code
Pull Request -
State: closed - Opened by fabianhjr over 4 years ago
#5 - Make network test build on windows
Pull Request -
State: closed - Opened by melted over 4 years ago
- 2 comments
#4 - Refactor makefiles
Pull Request -
State: closed - Opened by ska80 over 4 years ago
- 1 comment
#3 - Update .gitignore files
Pull Request -
State: closed - Opened by ska80 over 4 years ago
#2 - Windows fixes
Pull Request -
State: closed - Opened by melted over 4 years ago
- 4 comments
#1 - Add rmDir to System.Directory
Pull Request -
State: closed - Opened by andrevidela over 4 years ago
- 1 comment