qbixxx/LambdaCalculusEngine
Lambda interpreter built in Scala. Supports CbN, CbV and Free Variables calculations.
Scala
No issues in this repository yet.
Lambda interpreter built in Scala. Supports CbN, CbV and Free Variables calculations.
Scala
No issues in this repository yet.