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

Jon Fairbairn jon.fairbairn at cl.cam.ac.uk
Thu Jun 22 10:21:17 EDT 2006

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

More information about the Haskell-Cafe mailing list