[Haskell-cafe] Re: Type-Marking finite/infinte lists?

Bas van Dijk v.dijk.bas at gmail.com
Tue Sep 18 12:18:52 EDT 2007

On 9/18/07, apfelmus <apfelmus at quantentunnel.de> wrote:
> ...in reality, foldr is (almost) the induction principle for natural numbers!

Oh yes, nice observation!

Afpelmus, thanks for your thorough answers!



More information about the Haskell-Cafe mailing list