GitHub - na0214/linear-lambda-calculus: An implementation of Linear Lambda Calculus.
An implementation of Linear Lambda Calculus. Contribute to na0214/linear-lambda-calculus development by creating an account on GitHub.
github.com