idris-hackers/idris-mode — pull request #192 by david-christiansen (2014-06-16 09:07:49+00:00)
Title: Properly indent the results of active term commands

This makes showing implicits in errors far more usable.