all:

clean:
	rm -f YafflePaths.idr
	find . -name '*.ibc' | xargs rm -f