lambda-calc-boolean.rkt

#lang racket

(define IF
    (lambda (test)
        (lambda (then)
          (lambda (else)
            ((test then) else)))))

(define true
  (lambda (x)
    (lambda (y)
      x)))

(define false
  (lambda (x)
    (lambda (y)
      y)))

(((IF true) 1) 2)
(((IF false) 1) 2)