diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-26 18:43:36 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-08-26 18:43:36 -0400 |
| commit | 4246126c9e34c15a812da76d33d2a18cfeee4aa1 (patch) | |
| tree | 61e9f3efcd2a9c089a7c7c2971868683c662fe45 /spec | |
| parent | 695f0940abfc8d83cc05e8c9188b7d0c78dbb803 (diff) | |
Allow plain 𝕊 _𝕣 _𝕣_ as labels
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/grammar.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/grammar.md b/spec/grammar.md index 291771b8..3808ac28 100644 --- a/spec/grammar.md +++ b/spec/grammar.md @@ -85,9 +85,9 @@ A braced block contains bodies, which are lists of statements, separated by semi FCase = ⋄? FuncHead ":" BODY _mCase = ⋄? _m1Head ":" BODY _cCase_ = ⋄? _m2Head_ ":" BODY - FMain = ( ⋄? F ":" )? BODY - _mMain = ( ⋄? ( _m | Mod1H1 ) ":" )? BODY - _cMain_ = ( ⋄? ( _c_ | Mod2H1 ) ":" )? BODY + FMain = ( ⋄? ( F | "𝕊" ) ":" )? BODY + _mMain = ( ⋄? ( _m | "_𝕣" | Mod1H1 ) ":" )? BODY + _cMain_ = ( ⋄? ( _c_ | "_𝕣_" | Mod2H1 ) ":" )? BODY brSub = "{" ( ⋄? s ":" )? BODY "}" BrFunc = "{" ( FCase ";" )* ( FCase | FMain ( ";" FMain )? ) "}" _brMod1 = "{" ( _mCase ";" )* ( _mCase | _mMain ( ";" _mMain )? ) "}" |