This repository has been archived by the owner on Jan 9, 2021. It is now read-only.
Stripped font in 5.1.6 #33
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
In 5.1.6, “If the phrase “[empty]” appears”, [empty] should be shown in the same font as in actual grammar productions. Same for “[lookahead ∉ set]” in the next paragraph. Also “[no LineTerminator here]”.
The text was updated successfully, but these errors were encountered: