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
Currently, the grammar only prevents the sequence !:. So someone could have a type like He!!o.
::= <any UTF8-octets except newline or parens or ":" or "!:" or whitespace>+
Personally, I would find this confusing to see but it also would greatly simplify this grammar rule to only be looking at characters rather than sequence of characters.