Skip to content

Build two of §9.4's three rows, and close T480 and T502 - #190

Merged
rohanrkamath merged 4 commits into
mainfrom
spec/section-9-reconciled
Sep 13, 2026
Merged

rohanrkamath merged 4 commits into
mainfrom
spec/section-9-reconciled

Commits

Commits on Sep 13, 2026