[Haskell-cafe] Functional progr., images, laziness and all therest

[Jon Fairbairn]

On 2006-06-22 at 15:16BST "Brian Hulley" wrote:
> minh thu wrote:
> > y and yq are infinite...
> 
> But how does this change the fact that y still has 1 more element than yq?
> yq is after all, not a circular list.

infinity+1 = infinity

> I don't see why induction can't just be applied infinitely
> to prove this.

because (ordinary) induction won't go that far.

-- 
Jón Fairbairn                              Jon.Fairbairn at cl.cam.ac.uk