Hi
Another tiny correction for the pitfalls section:
 
Related to the paragraph containing: "eq?, eqv? and equal? are not meaningful when applied to streams ..."
 
(define s ((lambda () stream-null)))
(eq? s stream-null) --> #t !!!
 
Phil, I think you ment:
 
(define s ((stream-lambda () stream-null)))
(stream-null? s) --> #t
(eq? s stream-null) --> #f
 

((((lambda(x)((((((x x)x)x)x)x)x))
   (lambda(x)(lambda(y)(x(x y)))))
  (lambda(x)(write x)x))
 'greeting)