8 Nov
2007
8 Nov
'07
7:47 a.m.
On 11/8/07, jerzy.karczmarczuk@info.unicaen.fr
I have a vague impression that the solution of Alfonso Acosta:
rs_aa = let acum a1 a2 = a2 ++ acum (a1++a2) a1 in 1 : acum [1] [0]
is also somehow related to this limit stuff, although it is simpler, and formulated differently.
I particularly like its similarity to this definition: fibs = let fibs' a1 a2 = a2 : fibs' (a1 + a2) a1 in fibs' 1 0 Stuart