/lambda-calculus-cpp

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

Primary LanguageC++MIT LicenseMIT

Watchers