Lambda-Calculus-Upon-Cpp-Meta-Programming A Toy that actually performs untyped λ-calculus(even Y-combinator).