idris-lang/Idris-dev — pull request #632 by david-christiansen (2013-11-19 13:09:54+00:00)
Title: Show totality info for overloaded definitions, in amazing color!

Now :total shows the totality of every overload, and it colors just like the rest of the REPL