cert: certify non-empty List literals - #1447

Merged

jasisz merged 6 commits into

mainfrom

cert/list-literals

Sep 26, 2026

Commits on Sep 25, 2026

cert: certify a match on a List

jasisz
and
claude
committed
c21714a
cert: unfold the type table's pieces in a bridge's typing step

jasisz
and
claude
committed
0c4c29e
Merge remote-tracking branch 'origin/main' into rebase-1445
jasisz
committed
7a68250

Commits on Sep 26, 2026

cert: read the type section only through its cut in the acceptance proofs

jasisz
and
claude
committed
c9b8e81
cert: certify non-empty List literals

jasisz
and
claude
committed
19aefde
Merge remote-tracking branch 'origin/main' into land-1447
jasisz
committed
34d88fb