diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-29 20:55:22 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-11-29 20:55:22 -0500 |
| commit | fb3580660898306105c2e1f041f29bbdb9006210 (patch) | |
| tree | b704efe38eb38c0ebfdc3c7cbb8a37eba52be953 /spec/grammar.md | |
| parent | a7148422c8f4a69134263b4d37d05499996aaa7c (diff) | |
Remove return (→) from the spec
Diffstat (limited to 'spec/grammar.md')
| -rw-r--r-- | spec/grammar.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/spec/grammar.md b/spec/grammar.md index 8c394579..b672243e 100644 --- a/spec/grammar.md +++ b/spec/grammar.md @@ -34,13 +34,11 @@ Starting at the highest-order objects, modifiers have fairly simple syntax. In m | Operand _mod2_ # Left partial application | _m ASGN _m1Expr -Functions can be formed by fully applying modifiers, as trains, or with the return token `→`, which behaves syntactically like a 1-modifier whose operand must be an identifier. Modifiers are left-associative, so that the left operand (`Operand`) can include modifier applications but the right operand (`subject | Func`) cannot. Trains are right-associative, but bind less tightly than modifiers. Assignment is not allowed in the top level of a train: it must be parenthesized. +Functions can be formed by fully applying modifiers or as trains. Modifiers are left-associative, so that the left operand (`Operand`) can include modifier applications but the right operand (`subject | Func`) cannot. Trains are right-associative, but bind less tightly than modifiers. Assignment is not allowed in the top level of a train: it must be parenthesized. Derv = Func | Operand _mod1 | Operand _mod2_ ( subject | Func ) - | Return - Return = ( NAME | "𝕊" | "𝕣" ) "→" Operand = subject | Derv Fork = Derv |