on master help sign in
Merge pull request #4751 from AlexIljin/doc-typo-fix

Fix a typo in the Vect.replicate documentation

commit476234f8a81462f55d4c8ac65368d2b6ee191382 authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com> dateTue 6 Aug 2019, 08:44 (7 years ago) parenta8d2afc7488182
1 file changed+1−1
libs/base/Data/Vect.idr+1−1
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