The glossary is being gradually proof checked, but may have typos and misspellings.
A grammar fragment is a portion of a grammar that can be used to parse a subset of a full language. A grammar fragment may be produced as part of a process of stepwise defining a grammar starting with examples.
