#lang plait
eval({lam x E},env) = <{lam x E}, env>
eval({E1 E2},env1) =
if eval(E1,env1) = <{lam x Ef}, env2> then
eval(Ef,extend(x,eval(E2,env1),env2))
else
error!
#lang plait
eval({lam x E},env) = <{lam x E}, env>
eval({E1 E2},env1) =
if eval(E1,env1) = <{lam x Ef}, env2> then
eval(Ef,extend(x,eval(E2,env1),env2))
else
error!