Four readable Rust implementations of type systems from Algorithm W to dependent types, designed as starting points for building type checkers.