5.4.3. Conditionals, Assignments, and Definitions
Normal order evaluator based on lazy evaluator
Modify the evaluator so that it uses normal-order evaluation, based on the lazy evaluator of section 4.2.
Nobody's finished this exercise yet. You'll be the first!