edwinb/Idris-dev — pull request #232 by hannesm (2013-03-13 14:26:01+00:00)
Title: unify help and completion of REPL - previously they were not in sync, no...

...w it is one lookup table