idris-lang/Idris-dev — pull request #989 by david-christiansen (2014-03-21 14:22:52+00:00)
Title: Docs

More docs in Prelude