typecheck:
	agda HostRequirements.agda

build:

clean:

.PHONY: typecheck build clean
