Code

Document string literals#1756

Code

Merged

andrevidela merged 3 commits intoidris-lang:masteridris-lang/Idris2:masterfrom andrevidela:document-raw-stringsandrevidela/Idris2:document-raw-stringsCopy head branch name to clipboardJul 19, 2021

+148

Commits

Commits on Jul 18, 2021

• Added documentation for new string literals

  andrevidela

  committed
  9aa7a43

  Copy full SHA for 9aa7a43

• Add documentation for new string literals

  andrevidela

  committed
  396ebe2

  Copy full SHA for 396ebe2

Commits on Jul 19, 2021

• Update docs/source/reference/strings.rst

  Show description for 440a3af
  

  andrevidela

  and

  gallais

  authored
  440a3af

  Copy full SHA for 440a3af