Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Editorial: Simplify the 'Term' production
... by merging three pairs of RHSs. (Preserves the order of alternatives under [~U], but not under [+U], but that's okay, because the [+U] sides aren't order-disambiguated.)
- Loading branch information