From a hasty review:

I could not figure the rule for using “code point” vs. “Unicode code point”.
The latter is a mouthful, especially when replacing a single word like “character”,
so if we could drop “Unicode” more frequently I think it would read better.

Multiple cases of 5-digit code points, u+000xx that should be 4-digit u+00xx.

Check for consistency of singular/plural. e.g., code point vs code points.

A bunch of typos on the motivation section, but most notably C+ rather than C++!

Other than being a mouthful when repeated so frequently, I think this looks like
a step in the right direction.


On Dec 19, 2022, at 4:39 PM, Corentin via SG16 <> wrote:

Hello folks.
Per popular request and as discussed last meeting, here is a paper that touches up the terminology we use in the core language. I only did [lex] so far. (only other sections that need fixing are basic and cpp). I'd love feedback before continuing.

The changes for "removing character" and "removing translation set" are of different colors. 

Note that of course there is a dependency on and a fun 3 ways merge to operate editorially :)

Let me know what you think,

SG16 mailing list