2006/6/22, Brian Hulley <[EMAIL PROTECTED]>:
Jerzy Karczmarczuk wrote:
> Brian Hulley wrote:
[snip]
> y IS NOT a longer list than yq, since co-recursive equations without
> limiting cases, apply only to *infinite* streams. Obviously, the
> consumer of such a stream will generate a finite segment only, but it
> is his/her/its problem, not that of the producer.
I still don't understand this point, since y = (a*x0 : yq) so surely by
induction on the length of yq, y has 1 more element?
y and yq are infinite...
mt
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
