| 17:50 | <Chris de Almeida> | Does the etymological trail for cover grammar end at 262 or did I miss a chapter of Knuth? (I have missed all chapters) he doesn't use the term "cover grammar" (and I'm not sure where that entered the lexicon), but he does... cover it... sorry, I'll let myself out |
| 18:55 | <jmdyck> | https://www.osti.gov/servlets/purl/6280137 "Grammatical Covering" by John C Reynolds from 1968 might be the origin of the term. |
| 19:39 | <kriskowal> | https://www.osti.gov/servlets/purl/6280137 "Grammatical Covering" by John C Reynolds from 1968 might be the origin of the term. |