Ecosyste.ms: Issues

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

GitHub / idris-lang/idris-lang.github.io issues and pull requests

#5 - Update index.rst

Pull Request - State: open - Opened by dsouflis 6 months ago

#4 - Increase contrast on selection text

Pull Request - State: open - Opened by Soiled-Linen 6 months ago

#3 - update download instructions

Pull Request - State: open - Opened by andrevidela 8 months ago

#2 - Refresh editor support list

Pull Request - State: open - Opened by l-monnier over 1 year ago

#1 - Fix typo in index.rst

Pull Request - State: open - Opened by luckysori over 1 year ago