/LambdaCalculusInterpreter

Simple lambda calculus interpreter in C++ 11

Primary LanguageC++

LambdaCalculusInterpreter

Simple lambda calculus interpreter in C++ 11

Components:

  • Tokenizer(Complete)
  • Recursive Descent Parser(Complete)
  • Interpreter(Incomplte)

It uses the De Bruijn index to simplify the expression.