Animation

T = \x y. x
FST = \p. p T
(E1,E2) = \f. f E1 E2
FST (E1,E2) = E1

Animation


MULT = \m n f x. m (n f) x
5 = \f x. f (f (f (f (f x))))
MULT 2 3 = 6

Animation

tags: lambda
date: 06.02.2018