On Sat, Oct 3, 2026, at 18:18, Vik Fearing wrote:> Attached is a new patch set that makes IMPLIES non-associative, changes
+1 to non-associative
/Joel