18 Mar
2007
18 Mar
'07
7:03 a.m.
apfelmus@quantentunnel.de writes:
apfelmus@quantentunnel.de writes:
Besides, having
let q = FinCons 3 q in q
not being _|_ crucially depends on memoization.
Does it? PS: Your derivations are fine in the case of a non-strict FinCons. But
Jón Fairbairn wrote: the point is to make in strict.
Yes, I was trying to be subtle but was too sleepy and lost the plot. -- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk