An untyped lambda calculus interpreter which caches application results to speed up execution.