on 308efea help sign in
6 lines 118 B history raw
1test020a.idr:16:Can't unify Vect a n with List a
3Specifically:
4 Can't unify Vect a n with List a
5[3, 2, 1]
6Number 42