UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture5/ snippet-009.rkt
#lang plait
eval({let1 {x E1} E2}) = eval(E2[E1/x])