9 lines
No EOL
191 B
Racket
9 lines
No EOL
191 B
Racket
#lang racket
|
|
|
|
(define id (lambda (x) x))
|
|
|
|
(define Y (lambda (f) (lambda (x) (f (x x))) (lambda (x) (f (x x)))))
|
|
|
|
(define T (lambda (x) (lambda (y) x)))
|
|
|
|
(define F (lambda (x) (lambda (y) y))) |