Lambda A simple lambda calculus interpreter implemented in Rust. Basic Hindley-Milner type inference. Let-polymorphism.