User:Thepigdog/Lambda Calculus (old)