On Jan 8, 2019, at 5:15 PM, John Rose <john.r.r...@oracle.com> wrote: > > I'm actually OK with the more concise and obscure notation, but I think > we need to note carefully where writability readability trades off against > readability, so we can tilt the language toward readability.
Paste error! Delete the first of three occurrences of "readability", in order to improve⦠er, readability.