qbixxx/LambdaCalculusEngine

Lambda interpreter built in Scala. Supports AST View, CbN, CbV and Free Variables calculations. Fully functional-oriented implementation.

语言：Scala · GitHub 星标：4 · Fork：0

话题：functional · functional-programming · lambda · lambda-calculus · lambda-function · lambda-functions · sbt · scala

在 GitHub 上查看原仓库