git.iko.soy/Idris-dev
on master help sign in
added multi line strings doc and fixed typo
b6fd663worldsayshi
docs/reference/syntax-guide.rst+9−1
compare with master
unifiedsplit
@@ -29,7 +29,7 @@ Types
29
29
30In Idris, types are first class values. So a type declaration is the
30In Idris, types are first class values. So a type declaration is the
31same as just declaration of a variable whose type is ``Type``. In Idris,
31same 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 beging with a capital letter. Example:
33
33
34.. code:: idris
34.. code:: idris
35
35
@@ -254,6 +254,14 @@ Comments
254 -- Single Line
254 -- Single Line
255 {- Multiline -}
255 {- Multiline -}
256 ||| Docstring (goes before definition)
256 ||| Docstring (goes before definition)
257+
258+Multi line String literals
259+~~~~~~~~~~~~~~~~~~~~~~~~~~
260+
261+::
262+ foo = """
263+ this is a
264+ string literal"""
257
265
258Directives
266Directives
259----------
267----------