idris-hackers/idris-mode — pull request #69 by david-christiansen (2014-01-29 13:52:09+00:00)
Title: Show ! in the modeline while Idris is busy

Now, in Idris code and REPL buffers, a ! is shown while the interpreter
is taking care of a request from the user.

Fixes #66.