idlemypyextension (pypi): Mypy extension for Python IDLE
Keywords: mypy|dmypy|idle|extension|development|daemon|analysis|coolcat467|python|python-idle|python3