idris-lang/Idris-dev — pull request #779 by ahmadsalim (2014-01-11 20:50:15+00:00)
Title: Adds support for triple-quoted possibly multi-line verbatim string literals

This is a simple parser addition that provides support for verbatim literals which could be useful
if writing expressions which usually need some escaping like file-paths, regular expressions, xml or longer text.

Example:

```Idris
filePath : String
filePath = """C:\Users\TestUser\Desktop\Test.xml"""

xmlTest : String
xmlTest = """

Test User
+2 3 4

"""
```

Hopefully you find this useful too.