Using c++14 "auto lambdas" to do lambda calculus.