A Combinatory Logic Interpreter for the simplest language possible: both functions and data are represented by combinators, built up from S and K by application.