@edwinbrady I enjoyed your Idris talk! Is your Space Invaders code available online anywhere?
Replying to @rival_elf
@yomnapple Yes, it's in the code at http://www.idris-lang.org/STL2015/ and also at https://github.com/edwinb/idris-demos … (though the latter may need updating)
11:25 AM - 24 Sep 2015
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.