j
k
j a
j l
On 9/18/07, apfelmus wrote:
...in reality, foldr is (almost) the induction principle for natural numbers!
Oh yes, nice observation! Afpelmus, thanks for your thorough answers! regards, Bas
Back to the thread
Back to the list
