hannesm/Idris-dev — pull request #2 by david-christiansen (2014-08-04 10:32:08+00:00)
Title: Remove all the handle arguments

Now, the output mode specifier is the single canonical source for what
handle to output on.

Per your suggestion.