Skip to content

Total fold-step lowering: an arrow-lambda step reaches the same seam Loop the fn literal does - #11314

Merged
briansrls merged 5 commits into
mainfrom
session/still-bee-353
Sep 14, 2026
Merged

briansrls merged 5 commits into
mainfrom
session/still-bee-353

One named-argument decoder, at the layer that owns the production (re…

fbe971b
Select commit
Loading
Failed to load commit list.