2 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 51e6153..96a1c6d 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,9 @@ format:
 check-format:
 	yapf -d $(PYTHONFILES)
 
+check-mypy:
+	mypy $(PYTHONFILES)
+
 tags:
 	ctags -R --exclude="build/*" --exclude="cache/*" --exclude="doc/*" --exclude="results/*"
 
diff --git a/Pipfile b/Pipfile
index 1fdec70..786bdcd 100644
--- a/Pipfile
+++ b/Pipfile
@@ -6,6 +6,7 @@ verify_ssl = true
 [dev-packages]
 yapf = "*"
 pylint = "*"
+mypy = "*"
 
 [packages]
 numpy = "*"