edwinb/Idris-dev — pull request #466 by Melvar (2013-09-02 15:44:21+00:00)
Title: Set line buffering on stdout in REPL setup

The runtime sets stdout to block buffering if it’s not connected to a terminal,
so a program piping from idris or idris --ideslave does not get responses as
they are written.