ryanashita/LambdaCalculusSolverFSharp
A lambda calculus solver written in F# and .NET, with tests using MSTest framework. Solver (or 'evaluator') consists of a AST, parser (using custom combinator library), and recursive evaluator
正在读取项目信息…
A lambda calculus solver written in F# and .NET, with tests using MSTest framework. Solver (or 'evaluator') consists of a AST, parser (using custom combinator library), and recursive evaluator