git.iko.soy/Idris-dev
on de0bcbd help sign in
Idris-dev/test/test020/expected
14 lines 167 B history raw
1When elaborating right hand side of foo:
2test020a.idr:14:Can't unify
3 Vect n a
4with
5 List a
7Specifically:
8 Can't unify
9 Vect n a
10 with
11 List a
13[3, 2, 1]
14Number 42