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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
