From 4246126c9e34c15a812da76d33d2a18cfeee4aa1 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 26 Aug 2020 18:43:36 -0400 Subject: =?UTF-8?q?Allow=20plain=20=F0=9D=95=8A=20=5F=F0=9D=95=A3=20=5F?= =?UTF-8?q?=F0=9D=95=A3=5F=20as=20labels?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/spec/grammar.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/spec') diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index 77678a95..a38aff35 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -79,9 +79,9 @@ 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 )? ) "}" -- cgit v1.2.3