On Thu, 2006-06-22 at 15:16 +0100, Brian Hulley wrote: . . . > But how does this change the fact that y still has 1 more element than yq? > yq is after all, not a circular list. > I don't see why induction can't just be applied infinitely to prove this.
The set of all non-negative integers has "one more element" than the set of all positive integers, however they have the same cardinality, aleph-null. This phenomenon is the hallmark of infinite sets. -- Bill Wood _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
