daveying/lambda-calculus-cpp
Lambda calculus in C++ meta programming. A "prove" that C++ template meta programming is Turing complete.
C++MIT
Stargazers
No one’s star this repository yet.
Lambda calculus in C++ meta programming. A "prove" that C++ template meta programming is Turing complete.
C++MIT
No one’s star this repository yet.