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