list:
	cat Makefile

mypy:
	mypy --config-file mypy.ini *.py

pdf:
	pandoc README.md -o README.pdf