git.iko.soy/Idris-dev
on master help sign in
Fix a typo in the Vect.replicate documentation
7488182Alexander Iljin
libs/base/Data/Vect.idr+1−1
compare with master
unifiedsplit
@@ -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