idris-0.10.1: test/basic017/expected
basic017a.idr:11:8:When checking type of Main.append:
When checking an application of Main.Vect:
No such variable n
basic017a.idr:11:8:When checking type of Main.append:
When checking an application of Main.Vect:
No such variable n