idris-hackers/idris-mode — pull request #43 by david-christiansen (2014-01-08 16:39:07+00:00)
Title: Major mode for Idris log buffers

Includes faces for highlighting timestamps and levels, plus View mode in
log buffers.