An extremely fast Python type checker and language server, written in Rust.
Milestones help you track progress on groups of issues.
