List repeat

Stream: Is there code for X?

[Martin Dvořák]

Is there a function that creates a list by concatenating n copies of the same list?
There is list.repeat (a : α) : ℕ → list α that repeats a single element.
Is there a similar function list α → ℕ → list α for repeating lists?

[Yury G. Kudryashov]

You can use docs#list.join on docs#list.repeat

[Yury G. Kudryashov]

Something like (untested) (list.repeat l n).join