idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-09 21:01:12 +03:00
Code Issues Projects Releases Wiki Activity

Update docs/source/reference/strings.rst

Browse Source 
Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>
This commit is contained in:
André Videla 2021-07-19 10:37:22 +00:00 committed by GitHub
parent 396ebe2023
commit 440a3affd5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/reference/strings.rst
View File

@ -104,7 +104,7 @@ This last example could be implemented by combining raw string literals with mul
Interpolated strings
--------------------
Concatenating string literals with runtime values happens all the time, but sprinking our code
Concatenating string literals with runtime values happens all the time, but sprinkling our code
with lots of ``"`` and ``++`` symbols sometimes hurts legibility which in turn can introduce bugs
that are hard to detect for human eyes. Interpolated strings allow to inline the execution of
programs that evaluate to strings with a string literals in order to avoid manually writing out