typecheck:
	agda HostRequirements.agda

check_proto:

build:

clean:

.PHONY: typecheck check_proto build clean
