run-mypy.sh

#!/bin/bash

python -m mypy grudge