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

• pdf

• snippets

• lae evaluator