Skip to content

CallElimCorrect: lift _terminal to polymorphic {f : Bool}#1340

Merged
PROgram52bc merged 31 commits into
htd/callelim-smallstep-on-main2from
htd/polymorphic-f-callelim
Jun 8, 2026
Merged

CallElimCorrect: lift _terminal to polymorphic {f : Bool}#1340
PROgram52bc merged 31 commits into
htd/callelim-smallstep-on-main2from
htd/polymorphic-f-callelim

Cleanup R2-26: eta-reduce by-intro-exact disjoint blocks

0790952
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
label-conflicts
succeeded Jun 8, 2026 in 11s