Untyped lambda Calculus

Installation

Add this line to your application's Gemfile:

gem 'untyped_lambda_calculus', github: 'v-kolesnikov/untyped_lambda_calculus'

And then execute:

$ bundle

Usage

Just explore code!

Contributing

Bug reports and pull requests are welcome on GitHub at https://github.com/v-kolesnikov/untyped_lambda_calculus. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the Contributor Covenant code of conduct.

License

The gem is available as open source under the terms of the MIT License.