Skip to content

Pull requests: edwinb/SDL-idris

New pull request New
9 Open 5 Closed
9 Open 5 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update requireAlloc and doneAlloc calls to take VM pointer
#20 opened Feb 26, 2020 by LeifW Loading…
Update for latest idris
#18 opened Nov 26, 2018 by beefyhalo Loading…
1
Made changes to the tests
#16 opened Apr 25, 2018 by conornewton Loading…
Update README.md
#15 opened Nov 11, 2017 by flip111 Loading…
Possible fix for test.idr to handel commit 'startDSL can Fail' see: 0…
#14 opened Aug 27, 2017 by XeFias Loading…
Upgrade Idris 0.12 and SDL 1.2.15
#12 opened Jul 28, 2016 by steshaw Loading…
Fix/accessrules
#11 opened Apr 21, 2016 by justjoheinz Loading…
Add some docstrings
#9 opened Feb 1, 2015 by david-christiansen Loading…
updated etest to new effects
#7 opened Oct 28, 2014 by defanor Loading…
ProTip! Updated in the last three days: updated:>2024-04-29.