diff --git a/docs/index.rst b/docs/index.rst index de18780c..19117d05 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -79,12 +79,11 @@ Typing-related Tools Type Checkers ------------- -* `mypy `_, the reference implementation for type - checkers. -* `pyrefly `_, a fast type checker and language - server. -* `pyright `_, a type checker that - emphasizes speed. +* `mypy `_ +* `pyrefly `_ +* `pyright `_ +* `ty `_ +* `Zuban `_ Development Environments ------------------------