mypy #21

Closed ima-hima closed 1 year ago