diff --git a/README.md b/README.md
index 868ad77..c753917 100644
--- a/README.md
+++ b/README.md
@@ -54,3 +54,7 @@ To run the tests for
 To run the linter, type:
 
 `./tools/lint`
+
+To check the type annotations, run:
+
+`./tools/run-mypy`