Closed brycelelbach closed 2 years ago
Per today's telecon, I'm closing this PR. We'll go on a different route editorially, and we'll use more recent consensus on terminology. Since this is not yet a published TR, we'll follow the github workflow for those changes until we're ready for a more final draft.
P1838R0