Assertion: left fold | /r/CapableOf | perform right fold
Facets:
value: in a tail-recursive way
type: MANNER
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