Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / idris-hackers/idris-java-rts issues and pull requests
#4 - Is there an active maintainer?
Issue -
State: open - Opened by aaronc almost 9 years ago
#3 - Update README.md
Pull Request -
State: closed - Opened by slaven-s about 9 years ago
- 1 comment
#2 - Changes necessary to support Java codegen for Idris 0.9.19.
Pull Request -
State: closed - Opened by bgaster about 9 years ago
- 1 comment
#1 - Publish RTS for Idris 0.9.9
Issue -
State: closed - Opened by LeifW over 11 years ago
- 1 comment