From 0eb285da29ec128236f4963d452a9aec4b6096b1 Mon Sep 17 00:00:00 2001
From: derAnfaenger <robhoenig@gmail.com>
Date: Mon, 13 Nov 2017 12:08:14 +0100
Subject: [PATCH] README.md: Add command for running mypy.

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

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`