daveying/lambda-calculus-cpp

Lambda calculus in C++ meta programming. A "prove" that C++ template meta programming is Turing complete.

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