Ecosyste.ms: Issues

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

GitHub / edwinb/idris-lang.org issues and pull requests

#12 - Fixing minor typo in the main page

Pull Request - State: closed - Opened by L1ucas 7 months ago

#11 - Fix typo in index.rst

Pull Request - State: closed - Opened by l-d-s about 2 years ago

#10 - Idris Home Page: Fix typo

Pull Request - State: open - Opened by davidfstr over 2 years ago

#9 - fix typo

Pull Request - State: open - Opened by mio-19 over 3 years ago

#8 - Add syntax highlighting to Examples.

Pull Request - State: open - Opened by iliis over 3 years ago

#7 - Fix links to Idris2 "network" docs ("effects" -> "network")

Pull Request - State: closed - Opened by cypheon over 3 years ago - 1 comment

#6 - Fix typo in index

Pull Request - State: open - Opened by evuez over 3 years ago

#5 - fix typo in website

Pull Request - State: open - Opened by Natim almost 4 years ago

#4 - PR for small typo fix

Pull Request - State: open - Opened by aldrikfr about 4 years ago

#3 - Fix typo

Pull Request - State: closed - Opened by ska80 over 4 years ago - 1 comment

#2 - Fix git clone link to Idris2-boot

Pull Request - State: open - Opened by acatton over 4 years ago

#1 - s/langauge/language

Pull Request - State: open - Opened by cflewis over 4 years ago