Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Reorganize mypy documentation into sections #5104
This pull request reorganizes the documentation into different sections. This change should hopefully:
This pull request also retitled the cheat sheets: the phrase "mypy syntax" didn't feel quite accurate to me.
Also, I uploaded a (temporary) build of this branch to Read the Docs if anybody wants to quickly see what it looks like. The only real changes are to the index page and the nav.