Documentation

loop x f executes the function f repeatedly.
After each iteration the result value of the function
is feed back as input of the next iteration.
The initial value supplied for the first iteration is x.
This loop will never terminate.