idris-hackers/idris-mode — pull request #114 by david-christiansen (2014-04-16 13:58:14+00:00)
Title: Use completion-at-point in REPL

This saves a lot of code.

RE #36.