idris-hackers/idris-mode — pull request #38 by david-christiansen (2014-01-08 12:21:33+00:00)
Title: Prettier logging

Show Idris log levels and timestamps in the left margin rather than
mixed up with the message.