(let ((a 16) (b a)) (+ b a)) 19 In other words, b's reference to a is bound to the top-level a, rather than the inner one.

Intermediate Student with Lambda Language