check: .PHONY
	miniidris --noprelude --check *.idr

.PHONY: