Skip to content

Add short-circuiting left and right fold#224

Open
paldepind wants to merge 1 commit into
fantasyland:masterfrom
paldepind:short-circuiting-fold
Open

Add short-circuiting left and right fold#224
paldepind wants to merge 1 commit into
fantasyland:masterfrom
paldepind:short-circuiting-fold

Add short left and right fold

6fcb668
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs
⚡