git.iko.soy/Idris-dev
on f2d752a help sign in
Idris-dev/test/basic006/expected
8 lines 229 B history raw
1test020a.idr:14:18:When elaborating right hand side of foo:
2When elaborating an application of function Prelude.List.reverse:
3 Can't unify
4 Vect n a
5 with
6 List a
7[3, 2, 1]
8"Number 42"