Add dyadic quad syntax support#3132

Open

jjtolton wants to merge 5 commits intomthom:masterfrom

jjtolton:binary-quad-syntax

Commits on Oct 21, 2025

Commits on Oct 22, 2025

Fix binary quad syntax support in loader

jjtolton
and
claude
committed
Lower precedence of infix ?- operator to 1199 to avoid conflicts with prefix directives

jjtolton
and
claude
committed

Commits on Oct 23, 2025

Revert to priority 1200 for both ?- operators
jjtolton
committed