Add this line to your application's Gemfile:
gem 'untyped_lambda_calculus', github: 'v-kolesnikov/untyped_lambda_calculus'And then execute:
$ bundle
Just explore code!
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.
The gem is available as open source under the terms of the MIT License.