updates

[Randall Holmes]

Hoi Keugru, i Hoi Logli,

I have completed the process of rewriting my description of the grammar in parallel with the PEG; I am hoping that this will be interesting and even useful.  It is hoped that in its current form it is more readable as a narrative about my understanding of the various levels of the grammar.

I have formatted the currently and recently active proposals in a sensible way in the document, and now suggest discussion and action on John's Proposal 7, to remove q,w,x.  I believe there was a sentiment in this direction in the last Keugru:  they already took action to eliminate these letters from predicates.

At the same time, John recommends generalizing GAO to allow construction of letter names from any word.

I support the proposal as written, but I would like in addition to have CVV letterals for at least lower case q,w,x as all three are actually *common* variables in mathematics.

My parser already implements this proposal.  I am open to suggestions about names for q,w,x.  A regular name for y might also be desirable:  ziy is not

a sensibly formed word (nor for that matter is Y-ma, Y-fi)

--
Sincerely, Randall Holmes

Any opinions expressed above are not the
official opinions of any person or institution.