Skip to content

Link mypy docs from typing.rst #103099

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
hauntsaninja opened this issue Mar 28, 2023 · 0 comments
Closed

Link mypy docs from typing.rst #103099

hauntsaninja opened this issue Mar 28, 2023 · 0 comments
Labels
docs Documentation in the Doc dir topic-typing

Comments

@hauntsaninja
Copy link
Contributor

hauntsaninja commented Mar 28, 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

@hauntsaninja hauntsaninja added the docs Documentation in the Doc dir label Mar 28, 2023
hauntsaninja added a commit to hauntsaninja/cpython that referenced this issue Mar 28, 2023
miss-islington pushed a commit to miss-islington/cpython that referenced this issue Mar 30, 2023
miss-islington pushed a commit to miss-islington/cpython that referenced this issue Mar 30, 2023
miss-islington added a commit that referenced this issue Mar 30, 2023
(cherry picked from commit fda95aa)

Co-authored-by: Shantanu <[email protected]>
miss-islington added a commit that referenced this issue Mar 30, 2023
(cherry picked from commit fda95aa)

Co-authored-by: Shantanu <[email protected]>
warsaw pushed a commit to warsaw/cpython that referenced this issue Apr 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation in the Doc dir topic-typing
Projects
None yet
Development

No branches or pull requests

2 participants