A simple lambda calculus compiler that outputs (hopefully) portable C.