packages feed

idris-0.9.9.3: test/reg007/expected

reg007.lidr:8:A.n is already defined
reg007.lidr:12:When elaborating right hand side of hurrah:
Can't unify
	[92mn[0m[94m = [0m[92mA.lala[0m
with
	[91m0[0m[94m = [0m[91m1[0m

Specifically:
	Can't unify
		[91m1[0m
	with
		[91m0[0m