You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/Syntax.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -5,7 +5,7 @@ The parser is used by the [repl](./Repl.md).
5
5
6
6
### Syntax
7
7
8
-
This section describes the syntax rules enforced by the parser. These go beyond what is required by the underlying data in some respects. For instance, the names of named expressions and lambda terms are merely strings as far as the data constructors are concerned. But the parser requires that the names of named expressions begin with a capital letter, whereas lambda variables must begin with lower-case letters.
8
+
_This section describes the syntax rules enforced by the parser. These go beyond what is required by the underlying data in some respects. For instance, the names of named expressions and lambda terms are merely strings as far as the data constructors are concerned. But the parser requires that the names of named expressions begin with a capital letter, whereas lambda variables must begin with lower-case letters._
9
9
10
10
Simple named expressions are introduced with the `let` keyword and end with a semi-colon. Note that expression names must begin with a capital letter, while lambda terms begin with lower-case letters.
0 commit comments