removed accidentally added file
	deleted:    test.agda