Skip to content

Pull requests: idris-hackers/IdrisScript

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Added installation instructions
#9 opened Oct 7, 2018 by jimmyhmiller Loading…
CircleCI build definition
#8 opened Aug 23, 2017 by KimStebel Loading…
ToJS / FromJS
#7 opened Aug 15, 2017 by jheiling Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.