`eval'`_{e}(*M*) =*b*if*M*=_{e}*b*

`eval'`_{e}(*M*) =`closure`if*M*=_{e}*x*.*N*

`eval'`_{e}(*M*) =`err`if*M*=_{e}*error*

`eval'`_{h}(*M*) =*b*if*M*=_{h}*b*

`eval'`_{h}(*M*) =`closure`if*M*=_{h}*x*.*N*

`eval'`_{h}(*M*) =`err`if*M*=_{h}(error*b*)

Last update: Thursday, February 10th, 2000mflatt@cs.utah.edu |