foldr

foldr : ((x y -> z) y (listof x) -> z)

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


Intermediate Student with Lambda Language


Google