From 7e547a178e3e81b53b9f15db8eadbadab4dc524f Mon Sep 17 00:00:00 2001
From: hauntsaninja <hauntsaninja@gmail.com>
Date: Tue, 28 Mar 2023 16:31:56 -0700
Subject: [PATCH] Link to mypy docs

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

diff --git a/docs/index.rst b/docs/index.rst
index 2fef96e0..e0420448 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -26,6 +26,13 @@ Reference
 
    source/reference
 
+.. seealso::
+
+   The documentation at https://mypy.readthedocs.io/ is relatively accessible
+   and complete. Particularly refer to the "Type System Reference" section of
+   the docs -- since the Python typing system is standardised via PEPs, this
+   information should apply to most Python type checkers.
+
 Indices and tables
 ==================