initial commit

pylint

@@ -0,0 +1,20 @@
+#!/bin/sh
+
+### check type annotations with mypy
+
+set -e
+
+base=$(dirname "$(readlink -f "$0")")
+cd "${base}"
+
+if [ ! -d "venv" -o ! -x "venv/bin/python" ]; then
+    echo >&2 "Missing virtualenv in 'venv'; maybe run setup-venv.sh first!"
+    exit 1
+fi
+
+if [ ! -x ./venv/bin/pylint ]; then
+    # need current pylint to deal with more recent python features
+    ./venv/bin/pip install pylint
+fi
+
+./venv/bin/pylint src