Re: Zipping two sequences together with only cons, empty, foldr

[Lennart Augustsson]

Peter Hancock wrote:

> Maybe Lennart's recurse should be called listrec.

I considered that name when I wrote my reply (having been subjected
to type theory far many years :-), but I decided to drop list from the
name since foldr & co do not have it.

    -- Lennart