UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ Lecture 4: substitution

Introduction to substitution based evaluators and let1 (essentially the same as Racket's let, but limited to one identifier)