Agda-2.3.2.2: test/features/Makefile

default :
	agda Copatterns.agda