idris-hackers/idris-mode — pull request #180 by david-christiansen (2014-06-08 16:48:00+00:00)
Title: Prover usefulness

This improves the interaction between the REPL and the prover greatly. It also fixes #146.