go:
	# ./this-pylint --to-pylint factorial
	python3 -m mypy --strict factorial
	[ $$(./factorial 1) = 1 ]
	[ $$(./factorial 2) = 2 ]
	[ $$(./factorial 3) = 6 ]
	[ $$(./factorial 4) = 24 ]
	[ $$(./factorial 10) = 3628800 ]
	[ $$(./factorial 20) = 2432902008176640000 ]

clean:
	rm -rf .mypy_cache/