idris-lang/Idris-dev — pull request #1398 by stepcut (2014-07-16 20:59:14+00:00)
Title: Fix/master/arduino

A few more minor changes to make the RTS compile for the Arduino platform.