- ((
*w*. (**-**(*w*1) 5)) ((*x*.*x*10) (*y*.*z*. (**+***z**y*))))

`meval`(*M*) =*b*if*M**b*

`meval`(*M*) =`closure1`if*M**x*.*N*for some*N*that is an application, a primitive application, a variable, or a constant

`meval`(*M*) =`closure+`if*M**x*.*y*.*N*for some*N*

Last update: Tuesday, February 1st, 2000mflatt@cs.utah.edu |