idris-hackers/idris-mode — pull request #107 by david-christiansen (2014-04-01 19:04:13+00:00)
Title: Support :exec in REPL

Fixes #106. Relies on idris-lang/Idris-dev#1018 but is backwards-compatible.