#lang plait
(define (interp expr)
(type-case LAE expr
@$\vdots$@
[(Let1 bound-id named-expr bound-body)
;; no eval, wrapping
(interp (subst bound-body bound-id named-expr))]
@$\vdots$@ ))
#lang plait
(define (interp expr)
(type-case LAE expr
@$\vdots$@
[(Let1 bound-id named-expr bound-body)
;; no eval, wrapping
(interp (subst bound-body bound-id named-expr))]
@$\vdots$@ ))