ymyzk /mypy-playgroundPython7812The mypy playground. Try mypy with your web browser.pythonmypydockerplayground