Experimental lambda calculus interpreter
Primary LanguageC++
A lambda calculus interpreter written in c++.