#lang plait
eval(N,sc) = N
eval({+ E1 E2},sc) = eval(E1,sc) + eval(E2,sc)
; ...
eval(x,sc) = lookup(x,sc)
eval({let1 {x E1} E2},sc) = eval(E2,extend(x,eval(E1,sc),sc))
#lang plait
eval(N,sc) = N
eval({+ E1 E2},sc) = eval(E1,sc) + eval(E2,sc)
; ...
eval(x,sc) = lookup(x,sc)
eval({let1 {x E1} E2},sc) = eval(E2,extend(x,eval(E1,sc),sc))