lint:
	python -m mypy *.py
