Tweeted By @gvanrossum on 2019-03-01 (UTC) pythontool The full scoop on mypy plugins: https://t.co/uex3M64NL6 — Guido van Rossum (@gvanrossum) March 1, 2019