From cf1337d39fc0a89e8c6df63384663c05ae805697 Mon Sep 17 00:00:00 2001
From: David Foster <david@dafoster.net>
Date: Wed, 12 Nov 2025 09:12:41 -0500
Subject: [PATCH] PEP 747: Link to mypy reference implementation

---
 peps/pep-0747.rst | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/peps/pep-0747.rst b/peps/pep-0747.rst
index 9bccabfef2b..06a16262432 100644
--- a/peps/pep-0747.rst
+++ b/peps/pep-0747.rst
@@ -516,12 +516,14 @@ Reference Implementation
 
 Pyright (version 1.1.379) provides a reference implementation for ``TypeForm``.
 
-Mypy contributors also `plan to implement <https://github.com/python/mypy/issues/9773>`__
-support for ``TypeForm``.
+Mypy (`commit 1b7e71`_; Nov 3, 2025) provides
+a reference implementation for ``TypeForm``.
 
 A reference implementation of the runtime component is provided in the
 ``typing_extensions`` module.
 
+.. _commit 1b7e71: https://github.com/python/mypy/commit/1b7e717ecc56cd13d76bc110a1db2796e8b3c918
+
 
 Rejected Ideas
 ==============