#lang racket

; an example of how a lambda term is a closure that captures its local
; environment

; the inner lambda captures the value of x on construction of the closure.
(define f-of-1 (lambda (x)
    (lambda (y) (+ x y))) )

(define inc-by-1 (f-of-1 1))
(define inc-by-42 (f-of-1 42))

(inc-by-42 1)
(inc-by-1 3)