idris-lang/Idris-dev — pull request #846 by david-christiansen (2014-02-04 07:47:24+00:00)
Title: Updates to printing

* Show lambda bodies slightly indented if there's a line break
* Pretty-print :x output
* Put an At error constructor around type provider errors
* Minor cleanups