Repository navigation
Link mypy docs from typing.rst #103099
Description
Activity
- added a commit that references this issue
on Mar 28, 2023 - added a commit that references this issue
on Mar 30, 2023 - added 4 commits that reference this issue
on Mar 30, 2023
The mypy documentation is the best documentation there is for the Python type system. We should link users to it.
In the long run, typing.readthedocs.io could be a better home, but that shouldn't stop us from helping users today. In my opinion the most likely outcome is that typing.readthedocs.io ends up importing mypy's docs anyway.
Linked PRs