#lang plait
eval({lam x E},sc) = <{lam x E}, sc>
eval({E1 E2},sc1)
= eval(Ef,extend(x,eval(E2,sc1),sc2))
if eval(E1,sc1) =
<{lam x Ef}, sc2>
= error! otherwise
#lang plait
eval({lam x E},sc) = <{lam x E}, sc>
eval({E1 E2},sc1)
= eval(Ef,extend(x,eval(E2,sc1),sc2))
if eval(E1,sc1) =
<{lam x Ef}, sc2>
= error! otherwise