GitHub repository: wxtim/learn-mypy
Primary language: Python
Created: 2021-04-12T07:38:12Z
Description: Learn MyPy usage well enough to teach it.