Template Lambda-Calculus Interpreter

This page is about a lambda-calculus interpreter encoded in the C++ template system. Oh, yes, it's ugly. This is a rather simple lambda calculus interpreter (with bools, ints, strings, and lists) encoded in the C++ template system. It also includes facilities to automatically project compile-time values as run-time values. This is a proof-of-concept project (i.e., a demonstration of how dreadful i