idris-0.9.8: effects/Makefile

check: .PHONY
	$(IDRIS) --build effects.ipkg

recheck: clean check

install:
	$(IDRIS) --install effects.ipkg

clean: .PHONY
	$(IDRIS) --clean effects.ipkg

.PHONY: