Agda-2.3.0: A dependently typed functional programming language and proof assistant
iterate' :: Integral i => i -> (a -> a) -> a -> aSource
iterate' n f x applies f to x n times and returns the
iterate' n f x
The applications are calculated strictly.
Produced by Haddock version 2.9.4