Re: [whatwg/webidl] "Quoted terminal symbols" are now monospaced (PR #1216)

For the upper paragraph I guess you're right, but it's less clear for "The IDL syntax is case sensitive, both for the terminal symbols used in the grammar and the values used for identifier terminals". Both are terminals, anyway...

I'd prefer removing the words from the upper paragraph and keep it for the lower one.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1216#issuecomment-1276415317
You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1216/c1276415317@github.com>

Received on Wednesday, 12 October 2022 16:05:47 UTC