| 16:41 | <Michael Ficarra> | thoughts on using Kleene star in the 262 grammar? |
| 16:41 | <Michael Ficarra> | I think only Allen and Waldemar ever cared about avoiding its use |
| 16:42 | <shu> | i don't mind it, why have they opposed it in the past? |
| 16:46 | <Michael Ficarra> | I think it was easier to confirm some grammar property they were trying to preserve? |
| 16:46 | <Michael Ficarra> | not totally sure, it's been a loooooong time since that's been discussed |
| 17:52 | <shu> | what is a place where you want to use *? |
| 20:49 | <bakkot> | I don't think it would be enough of an improvement to warrant the overhead of the change |