Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / idris-lang/idris-emptycg issues and pull requests

#4 - Change license?

Issue - State: open - Opened by ianbollinger almost 7 years ago

#3 - updated code to 1.1.1

Pull Request - State: closed - Opened by rbarreiro over 7 years ago

#2 - Fix compilation errors based on idris-php's code.

Pull Request - State: open - Opened by jmitchell about 8 years ago

#1 - Fix spelling mistake

Pull Request - State: open - Opened by yfyf almost 10 years ago