idris-lang/Idris-dev — pull request #722 by puffnfresh (2013-12-11 04:03:33+00:00)
Title: Simplify logic for setVerbose in REPL

This seems to do the same, right?