[Haskell-cafe] Functional progr., images,
laziness and all therest
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