GitHub repository: ubsan/lambda-calculus
Primary language: C++
Created: 2017-02-19T06:48:52Z
Description: Lambda calculus written in C++