Skip to content

fold, foldMap, foldl, & foldr - #16

Open
robrix wants to merge 10 commits into
atzeus:masterfrom
robrix:foldmap
Open

fold, foldMap, foldl, & foldr#16
robrix wants to merge 10 commits into
atzeus:masterfrom
robrix:foldmap

Define foldl for type-aligned sequences via a dual approach.

4a35ba0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs