edwinb/SDL-idris — pull request #6 by LeifW (2014-07-12 22:01:47+00:00)
Title: Remove bundled "invaders" demo; now in edwinb/idris-demos

The canonical, maintained version of this is in
https://github.com/edwinb/idris-demos
The version in this repo is unmaintained and no longer compiles.
Removing to avoid confusion.