GitHub repository: ljedrz/lambda_calculus
Primary language: Rust
Created: 2017-04-05T12:00:26Z
Description: A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust