/untyped_lambda_calculus

Simple untyped λάμδα calculus on Ruby

Primary LanguageRubyMIT LicenseMIT

Build Status

Untyped lambda Calculus

asciicast

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.