Typo in <cset-sre> grammar Chris Hanson (21 Feb 2023 11:52 UTC)
Re: Typo in <cset-sre> grammar Arthur A. Gleckler (21 Feb 2023 12:00 UTC)

Typo in <cset-sre> grammar Chris Hanson 21 Feb 2023 11:51 UTC

The line reading

    (- <difference> ...)

should be

    (difference <cset-sre> ...)