idris-lang/Idris-dev — pull request #1670 by jfdm (2014-10-22 10:47:32+00:00)
Title: Added documentation for the pprint command in the Idris REPL.

The contributer of pprint forgot to add documentation for its use within idris.
Suitable documentation has been added.