idris-lang/Idris-dev — pull request #1060 by pminten (2014-04-13 15:13:30+00:00)
Title: Add a bunch of docstrings to Prelude.Strings

Didn't manage to create one for pack due to the interpreter not knowing which foldable instance to use for [1, 2, 3] and me not knowing how to tell it that it's a list.