Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-02-04 11:38:29 -0800 (Sun, 04 Feb 2001)
Revision: 3139
Log message:
I moved the bind operator from ITT to the Perv module. This makes sense because
what we really mean by "bind" is a generic binding construction, not something
ITT-specific.
I've also replaced Perv!lambda with Perv!bind since it was now redundant
and it was indeed used as "bind", not as "lambda" (there were no beta-reduction
for Perv!lambda).