README.md: Add command for running mypy.

This commit is contained in:
derAnfaenger 2017-11-13 12:08:14 +01:00
parent fa9e5a8e26
commit 0eb285da29

View file

@ -54,3 +54,7 @@ To run the tests for
To run the linter, type: To run the linter, type:
`./tools/lint` `./tools/lint`
To check the type annotations, run:
`./tools/run-mypy`