For our purposes here, the lambda calculus is a subset ;; of Scheme that has only symbols, lambda abstractions with ;; exactly one variable, and function applications. ;; ;; We will use Scheme's ...