About the code Lambda calculus in C++ meta programming. A "prove" that C++ template meta programming is Turing complete. Run tests git clone https://github.com/daveying/lambda-calculus-cpp.git cd lambda-calculus-cpp mkdir build && cd build cmake .. make -j8 && ctest -VV