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