idris-lang/Idris-dev — pull request #610 by Melvar (2013-11-10 17:06:16+00:00)
Title: Change Show instances for Char and String to match their literals

Adapted from the corresponding GHC Prelude code.