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




Reply via email to