on master help sign in
Idris-dev/test/tutorial006/tutorial006a.idr
7 lines 135 B history raw
1import Data.Vect
3vapp : Vect n a -> Vect m a -> Vect (n + m) a
4vapp Nil ys = ys
5vapp (x :: xs) ys = x :: vapp xs xs -- BROKEN