foldl

foldl : ((X Y -> Y) Y (listof X) -> Y)

purpose:
(foldl f base (list x-1 ... x-n)) = (f x-n ... (f x-1 base))


Intermediate Student with Lambda Language