idris-lang/Idris-dev — pull request #597 by jfdm (2013-11-07 10:18:01+00:00)
Title: Added documentation for builtins. Rewrite tactics not documented.

Started to document the Idris standard library where I can. Hopefully, making some of the 'obvious' functions more obvious, and 'not so obvious functions' obvious e.g. `the`. I have started with Builtins. More will follow in dribs and drabs.