Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
PR#6597: manual, forward references to languages extensions #1030
This PR adds some forward references to language extensions inside the main language reference section,
More precisely, after each description of non-terminal symbols, this PR references all language extensions
These references are added as plain text rather than footnotes to give them some amount of visibility.
How are the