Assertion: left fold | /r/HasProperty | composed
Facets:
Source sentences:
text: On finite lists, that means that left-fold and reverse can be composed to perform a right fold in a tail-recursive way (cf. 1+>(2+>(3+>0)) == ((0<+3)<+2)<+1 ), with a modification to the function