idris-lang/Idris-dev — pull request #537 by ahmadsalim (2013-10-14 18:52:22+00:00)
Title: Fixes idris-lang/Idris-dev#512

Fixes --nocolour and Trifecta in REPL