4 ms·

And also that the second highest contributor is Guido van Rossum (https://github.com/python/mypy/graphs/contributors https://github.com/python/mypy/graphs/contr

And also that the second highest contributor is Guido van Rossum (https://github.com/python/mypy/graphs/contributors https://github.com/python/mypy/graphs/contributors).

tom_mellior 9y ago
Fair enough, those are reasonable arguments the grandparents could (and should) have made.