Skip to content

Commit 6da6af4

Browse files
committed
Update reference
1 parent 879b08e commit 6da6af4

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

doc/reference.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -117,6 +117,8 @@ Names start with a an ASCII letter (`a`..`z` or `A`..`Z`), and end with a
117117
sequence of ASCII letters (`a`..`z` or `A`..`Z`), numbers (`0`..`9`), or
118118
underscores (`_`).
119119

120+
Names can be prefixed with `r#` to avoid clashing with keywords, for example `r#let`.
121+
120122
During elaboration, names are resolved to variables bound by:
121123

122124
- [let expressions](#let-expressions)

0 commit comments

Comments
 (0)