git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2486 from worldsayshi/patch-2
798958dNiklas Larsson
docs/reference/syntax-guide.rst+1
compare with master
unifiedsplit
@@ -259,6 +259,7 @@ Multi line String literals
259~~~~~~~~~~~~~~~~~~~~~~~~~~
259~~~~~~~~~~~~~~~~~~~~~~~~~~
260
260
261::
261::
262+
262 foo = """
263 foo = """
263 this is a
264 this is a
264 string literal"""
265 string literal"""