lambda_calculus 0.1.1

An implementation of the untyped lambda calculus in Rust
Documentation

CC0 License

An implementation of the untyped lambda calculus in Rust