That site has documentation, tutorials and even information for people using Python 2 who want to introduce mypy via comments (rather than annotations). You can read more about the origins of type ...