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