Skip to content

comp.ts simplifications: ty_holds, CID_T, tele_fill, corpus_at and more - #1457

Merged
Lorenzobattistela merged 7 commits into
mainfrom
simplify-comp-3
Oct 10, 2026
Merged

comp.ts simplifications: ty_holds, CID_T, tele_fill, corpus_at and more#1457
Lorenzobattistela merged 7 commits into
mainfrom
simplify-comp-3

comp.ts: ty_holds says what its predicate owes it

d886543
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
repo-gate
succeeded Oct 9, 2026 in 15s