From 3f454a8233230a1094ac0c818453f97700f73c6b Mon Sep 17 00:00:00 2001
From: Alex Waygood <alex.waygood@gmail.com>
Date: Wed, 15 Oct 2025 21:49:44 +0100
Subject: [PATCH 1/2] Add ty to the list of type checkers that exist

---
 docs/index.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/index.rst b/docs/index.rst
index de18780c..ceea5744 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -85,6 +85,8 @@ Type Checkers
   server.
 * `pyright <https://github.com/microsoft/pyright>`_, a type checker that
   emphasizes speed.
+* `ty <https://docs.astral.sh/ty/>`_, a fast type checker and language
+  server.
 
 Development Environments
 ------------------------

From ff760911174b9eef1d284d4d6a137e0f786f6bc3 Mon Sep 17 00:00:00 2001
From: Alex Waygood <alex.waygood@gmail.com>
Date: Wed, 15 Oct 2025 21:57:34 +0100
Subject: [PATCH 2/2] remove descriptions and add Zuban

---
 docs/index.rst | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/docs/index.rst b/docs/index.rst
index ceea5744..19117d05 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -79,14 +79,11 @@ Typing-related Tools
 Type Checkers
 -------------
 
-* `mypy <http://mypy-lang.org/>`_, the reference implementation for type
-  checkers.
-* `pyrefly <https://pyrefly.org/>`_, a fast type checker and language
-  server.
-* `pyright <https://github.com/microsoft/pyright>`_, a type checker that
-  emphasizes speed.
-* `ty <https://docs.astral.sh/ty/>`_, a fast type checker and language
-  server.
+* `mypy <http://mypy-lang.org/>`_
+* `pyrefly <https://pyrefly.org/>`_
+* `pyright <https://github.com/microsoft/pyright>`_
+* `ty <https://docs.astral.sh/ty/>`_
+* `Zuban <https://docs.zubanls.com/en/latest/>`_
 
 Development Environments
 ------------------------