A tiny interpreter based on Lambda Calculus