| 17:17 | <kriskowal> | Does the etymological trail for cover grammar end at 262 or did I miss a chapter of Knuth? (I have missed all chapters) |
| 18:55 | <jmdyck> | There are formal-language papers that talk about cover grammars, with roughly the same meaning, but typically not with 262's kind of use in mind? |