I use [mypy](https://mypy.readthedocs.io/en/stable/getting_started.html) (tks to Kevin's suggestion) to run a linter in `src` folder: ``` python3 -m mypy . python3 -m mypy writ ```
I use mypy (tks to Kevin's suggestion) to run a linter in
srcfolder: