#lang plait
eval({let1 {x E1} E2}) = eval(E2[eval(E1)/x])
[(Let1 bound-id named-expr bound-body)
(interp (subst bound-body bound-id
(Num (interp named-expr))))]
#lang plait
eval({let1 {x E1} E2}) = eval(E2[eval(E1)/x])
[(Let1 bound-id named-expr bound-body)
(interp (subst bound-body bound-id
(Num (interp named-expr))))]