Skip to content

docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold#639

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/interp-port-and-rows-scaffold
Jun 21, 2026
Merged

docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold#639
hyperpolymath merged 2 commits into
mainfrom
claude/interp-port-and-rows-scaffold

chore(hypatia): exempt formal/Rows.v from the V-lang ban (per-file ma…

be1171e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar