edwinb/Idris-dev — pull request #122 by LeifW (2012-12-09 06:29:40+00:00)
Title: Add a Monoid instance for String.

Some minor formatting fixups, too.