Planned implementations of various lambda calculi in the Rust programming language. Currently able to evaluate untyped lambda calculus expressions to weak-head normal form.