P3: prove TypeCompat (level 3) as a real operand-type-compatibility guarantee#36

hyperpolymath merged 1 commit into

mainhyperpolymath/typedqliser:mainfrom

claude/new-session-znxgm7hyperpolymath/typedqliser:claude/new-session-znxgm7Copy head branch name to clipboard