idris-lang/Idris-dev — pull request #1177 by david-christiansen (2014-05-02 13:48:39+00:00)
Title: Make executor emulate putchar

Fixes #1056.