A tiny Python lambda calculus interpreter