on master help sign in
Merge pull request #4751 from AlexIljin/doc-typo-fix
476234fJan de Muijnck-Hughes
libs/base/Data/Vect.idr+1−1
@@ -278,7 +278,7 @@ fromList l =
278(++) [] ys = ys
278(++) [] ys = ys
279(++) (x::xs) ys = x :: xs ++ ys
279(++) (x::xs) ys = x :: xs ++ ys
280
280
281−||| Repeate some value some number of times.
281+||| Repeat some value some number of times.
282|||
282|||
283||| @ len the number of times to repeat it
283||| @ len the number of times to repeat it
284||| @ x the value to repeat
284||| @ x the value to repeat