idris-lang/Idris-dev — pull request #672 by hannesm (2013-11-26 17:13:23+00:00)
Title: Support for the new interactive commands via the IdeSlave REPL

Also, add ":addmissing" and ":addmissing!" to completions of the REPL

fixes #668