idris-lang/Idris-dev — pull request #1035 by puffnfresh (2014-04-06 16:06:18+00:00)
Title: Make parsing respect the nocolour flag

This fixes #1034