• Rate-a-crate: lambda calculus https://crates.io/crates/lambda_calculus 7 comments 28/5/2017 rust