A compiler for a simple lisp-like language to SKI expressions.