On Tue, Sep 29, 2026 at 11:51:39PM +0200, Vik Fearing wrote:
> On 29/09/2026 22:23, Zsolt Parragi wrote:
>> And +1 for using %nonassoc instead
>
> That's three now. I'll prepare a new patch.
Thanks. One other thing I'd like to explore a bit more is whether to make
IMPLIES "round-trippable," at least to see how much more complicated it
would be. (I'm happy to do this part BTW).
--
nathan