1 2 3 4 5 6 7 8 9
I = \a a K = \a \b a C = \a \b \c a b c B = \a \b \c a (b c) S = \a \b \c a c (b c) # Y-combinator, makes recursion possible (with black magic). Y = \f (\x f (x x)) (\x f (x x))