repeat : (n : Nat) -> a -> Vect n a

Please log in; otherwise your solution and progress won't be saved