Tapl Rust (a.k.a Not Simply Typed) A naïve implementation of term evaluator and type deducer described in Types and Programming Languages implemented in Rust. Note: current progress is at Chapter 15: Subtyping.