feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile#637

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescript:mainfrom

claude/lucid-cray-4a22dphyperpolymath/affinescript:claude/lucid-cray-4a22dpCopy head branch name to clipboard