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.