If I have this Haskell function:
Consider the following Haskell function f :
f :: Int -> Int f 0 = 1 f x = x * x * f (x - 1)
Then how can I calculate its fixpoint and the least fixpoint (in closed form)?
The answer to this question is :
How is this least fixpoint calculated? I am trying to understand this, but still no luck. It will be great if someone could explain this to me.