lambda_calculus 0.1.0

an implementation of the untyped lambda calculus in Rust
Documentation

CC0 License

An implementation of the untyped lambda calculus in Rust