Skip to content

Custard: fold projections of a let-bound constructor - #4553

Merged
gebner merged 1 commit into
masterfrom
gebner_custard_letpatfold
Sep 19, 2026
Merged

Custard: fold projections of a let-bound constructor#4553
gebner merged 1 commit into
masterfrom
gebner_custard_letpatfold

Custard: fold projections of a let-bound constructor

b9cadbb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar