:: Int -> (a -> a) -> a -> a -package:Agda

Apply a function n times to a given value.

O(n) Apply the function <math> times to an initial value, producing a vector of length <math>. The 0th element will contain the initial value, which is why there is one less function application than the number of elements in the produced vector. <math>