GitHub repository: v-kolesnikov/untyped_lambda_calculus
Primary language: Ruby
Created: 2017-03-07T10:07:46Z
Description: Simple untyped λάμδα calculus on Ruby