Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Utils.Function
Synopsis
iterate' :: Integral i => i -> (a -> a) -> a -> aSource
iterate' n f x applies f to x n times and returns the result.
iterate' n f x
iterate'
f
x
n
The applications are calculated strictly.