Skip to content

Pull requests: idris-lang/idris-emptycg

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

Fix compilation errors based on idris-php's code.
#2 opened Jan 18, 2017 by jmitchell Loading…
Fix spelling mistake
#1 opened Mar 3, 2015 by yfyf Loading…
ProTip! Updated in the last three days: updated:>2024-11-23.