Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.Sign up
1 contribution in the last year
Created an issue in python/mypy that received 4 comments
I was surprised that some code like this wasn't flagged by mypy:
What is the actual behavior/output?
What is the be…