idris-lang/Idris-dev — pull request #1404 by jfdm (2014-07-17 10:26:34+00:00)
Title: Added documentation for missing `REPL` Commands.

This fix addresses Issue #1027. Part of said issue was addressed through recent and past changes.
Some commands have been marked undocumented.
This can be added in at a later date.