https://github.com/v-kolesnikov/untyped_lambda_calculus

Simple untyped λάμδα calculus on Ruby
https://github.com/v-kolesnikov/untyped_lambda_calculus

church-encoding computer-science lambda-calculus

Last synced: about 1 year ago
JSON representation

Simple untyped λάμδα calculus on Ruby

• Host: GitHub
• URL: https://github.com/v-kolesnikov/untyped_lambda_calculus
• Owner: v-kolesnikov
• License: mit
• Created: 2017-03-07T10:07:45.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-07-26T08:52:53.000Z (almost 9 years ago)
• Last Synced: 2025-05-03T06:38:24.482Z (about 1 year ago)
• Topics: church-encoding, computer-science, lambda-calculus
• Language: Ruby
• Homepage:
• Size: 13.7 KB
• Stars: 4
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          
[![Build Status](https://travis-ci.org/v-kolesnikov/untyped_lambda_calculus.svg?branch=master)](https://travis-ci.org/v-kolesnikov/untyped_lambda_calculus)

# Untyped lambda Calculus

[![asciicast](https://asciinema.org/a/daqlblli7piucrr4vexo6f4a7.png)](https://asciinema.org/a/daqlblli7piucrr4vexo6f4a7)

## Installation

Add this line to your application's Gemfile:

```ruby

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](http://contributor-covenant.org) code of conduct.

## License

The gem is available as open source under the terms of the [MIT License](http://opensource.org/licenses/MIT).