Fix a typo in the Vect.replicate documentation
commit7488182860df20ae6f8117f86928213978705dfa
authorAlexander Iljin <ajsoft@yandex.ru>
dateMon 5 Aug 2019, 22:31 (7 years ago)
parenta8d2afc
libs/base/Data/Vect.idr+1−1
@@ -278,7 +278,7 @@ fromList l =
278278(++) [] ys = ys
279279(++) (x::xs) ys = x :: xs ++ ys
280280
281−||| Repeate some value some number of times.
281+||| Repeat some value some number of times.
282282|||
283283||| @ len the number of times to repeat it
284284||| @ x the value to repeat