@@ -29,7 +29,7 @@ Types
2929
3030In Idris, types are first class values. So a type declaration is the
3131same as just declaration of a variable whose type is ``Type``. In Idris,
32−variables that denote a type must being with a capital letter. Example:
32+variables that denote a type must begin with a capital letter. Example:
3333
3434.. code:: idris
3535
@@ -254,6 +254,14 @@ Comments
254254 -- Single Line
255255 {- Multiline -}
256256 ||| Docstring (goes before definition)
257+
258+Multi line String literals
259+~~~~~~~~~~~~~~~~~~~~~~~~~~
260+
261+::
262+ foo = """
263+ this is a
264+ string literal"""
257265
258266Directives
259267----------