default:
	purs compile tests/Main.purs -g corefn -o tests