Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX#3357
Open
fingolfin wants to merge 8 commits intogap-system:masterfrom
Open
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX#3357fingolfin wants to merge 8 commits intogap-system:masterfrom
FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX#3357fingolfin wants to merge 8 commits intogap-system:masterfrom
Commits
Commits on Mar 17, 2026
Commits on Mar 18, 2026
Commits on Mar 19, 2026
- andcommitted
- andcommitted
- committed