idris-lang/Idris-dev — pull request #606 by jfdm (2013-11-08 12:26:56+00:00)
Title: Documentation for System.idr

The remainder of System.idr has been documented.