Factorial

T = \x y. x
F = \x y. y

Y = \f. (\x. f (x x)) (\x. f (x x))

ISZERO = \n. n (\x. F) T

MULT = \m n f. m (n f)

1 = \f n. f n

PRED = \n f x. n (\g h. h (g f)) (\u. x) I

Y

ISZERO

MULT

1

PRED

FACT = Y (\f n. (ISZERO n) 1 (MULT (f (PRED n)) n))

tags: lambda
date: 06.02.2018