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