run-mypy.sh

#! /bin/bash

python -m mypy --show-error-codes pymbolic