aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/README.md b/README.md
index ae46b6a..bd2df75 100644
--- a/README.md
+++ b/README.md
@@ -55,6 +55,13 @@ Runs the automated test suite.
### `make run-haketilo`
Runs `haketilo` program from sources.
+### `mypy-lint`
+Runs mypy static type checker over source files of the project.
+
+### `mypy-lint-server`, `mypy-lint-builder`, `mypy-lint-haketilo`
+Runs mypy static type checker over source files used in the relevant part of the
+project.
+
### `make clean`
Removes generated files.