Ecosyste.ms: Issues

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

GitHub / edwinb/sdl-idris issues and pull requests

#21 - Installing SDL for Idris

Issue - State: open - Opened by Tom-Shenton almost 5 years ago

#20 - Update requireAlloc and doneAlloc calls to take VM pointer

Pull Request - State: open - Opened by LeifW almost 5 years ago

#19 - Please provide a LICENSE file

Issue - State: open - Opened by rcook about 6 years ago

#18 - Update for latest idris

Pull Request - State: open - Opened by beefyhalo about 6 years ago

#16 - Made changes to the tests

Pull Request - State: open - Opened by conornewton almost 7 years ago

#15 - Update README.md

Pull Request - State: open - Opened by flip111 over 7 years ago

#13 - Installation troubles

Issue - State: open - Opened by JeffreyBenjaminBrown over 7 years ago - 1 comment

#12 - Upgrade Idris 0.12 and SDL 1.2.15

Pull Request - State: open - Opened by steshaw over 8 years ago

#11 - Fix/accessrules

Pull Request - State: open - Opened by justjoheinz almost 9 years ago

#10 - updated to work with new FFI

Pull Request - State: closed - Opened by JakobBruenker almost 10 years ago - 1 comment

#9 - Add some docstrings

Pull Request - State: open - Opened by david-christiansen about 10 years ago

#8 - Added function for drawing pixels

Pull Request - State: closed - Opened by JakobBruenker about 10 years ago - 1 comment

#7 - updated etest to new effects

Pull Request - State: open - Opened by defanor over 10 years ago

#6 - Remove bundled "invaders" demo; now in edwinb/idris-demos

Pull Request - State: closed - Opened by LeifW over 10 years ago - 1 comment

#5 - Floating point exception on when running the invaders example

Issue - State: open - Opened by Pranz almost 11 years ago

#4 - Make work with neweffects -> effects switch

Pull Request - State: closed - Opened by david-christiansen almost 11 years ago - 1 comment

#3 - "Can't unify Eff with EffM" in invaders.

Issue - State: closed - Opened by LeifW about 11 years ago - 2 comments

#2 - Codec.Compression.Zlib: incorrect header check

Issue - State: closed - Opened by LeifW about 11 years ago - 3 comments

#1 - Divide instead by a number that more probably fits into Int.

Pull Request - State: closed - Opened by tpsinnem about 11 years ago