idris-lang/Idris-dev — pull request #1809 by bmsherman (2014-12-26 23:02:41+00:00)
Title: REPL prompt should only show successfully loaded modules

Fixes https://github.com/idris-lang/Idris-dev/issues/1366. It was getting on my nerves :).