Lambda calculus with Church encoding in C

Wow, that is really impressive! Unfortunately, this means lots of work for the C preprocessor (and the C compiler, then) at compile time. But it's cool that it works this way at all.