Almost finished writing a simply typed lambda-calculus in Rust with most of the extensions: github.com/amir/tapl.rs #rustlang