Cpaulyz / LambdaInterpreter

软工一大作业 lambda解释器 Lambda Interpreter

Lambda 解释器

Lambda Interpreter

软工一大作业

Interpreter入口，检查

Center入口为控制台版本

额外功能：定义函数、alpha变换

AST类的.toString输出德布罗意形式，.toLambda形式输出常规形式