edwinb/Idris-dev — pull request #126 by raichoo (2012-12-12 17:50:36+00:00)
Title: Set -> Type

So that the REPL displays everything correctly