idris-lang/Idris-dev — pull request #1612 by johnny-john (2014-10-10 01:27:49+00:00)
Title: More docs for prelude libraries

WIP

Suggestions are welcome.

Is it legal to lift descriptions from Haskell docs?