#lang plait
eval({E1 E2})
= if eval(E1) = {lam x Ef} then
eval({let1 {x E2} Ef})
else
error!
#lang plait
eval({E1 E2})
= if eval(E1) = {lam x Ef} then
eval({let1 {x E2} Ef})
else
error!