[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Topes - no substitution model

Oops, I got carried away in my response to Mr. Rees.  While the model for
Scheme with topes is somewhat simpler than the current one, it is not a
substitution model - the procedure "tope" is not functional, of course.

						   Biep Durieux