#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))))]