shivers@cc.gatech.edu wrote: > One way to describe why names are nice and so fundamental to so many > notations is that names give you a way to access things multiple > times. Except (and I know I don't need to tell you this) Unix gives you another nice way of doing this: `tee'. It's "nice" modulo Unix, namely it stuff things in files, but it suggests a natural combinator. Shriram