on ef93607 help sign in
5 lines 117 B history raw
1vapp : Vect n a -> Vect m a -> Vect (n + m) a
2vapp Nil ys = ys
3vapp (x :: xs) ys = x :: vapp xs xs -- BROKEN