An interpreter for a little language with type inference written in Rust - View it on GitHub