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
- Re: Zipping two sequences together with only cons, empt... Kevin Atkinson
- Re: Zipping two sequences together with only cons, empt... Lennart Augustsson
- Re: Zipping two sequences together with only cons, empt... Kevin Atkinson
- Re: Zipping two sequences together with only cons, empt... Koen Claessen
- Re: Zipping two sequences together with only cons, empt... Torsten Grust
- Re: Zipping two sequences together with only cons, empt... Peter Hancock
- Re: Zipping two sequences together with only cons, empt... Laszlo Nemeth
- Re: Zipping two sequences together with only cons, empt... Erik Meijer
- Re: Zipping two sequences together with only cons, empt... Laszlo Nemeth
- Re: Zipping two sequences together with only cons, empt... Lennart Augustsson
- Lennart Augustsson