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