Aubrey Jaffer wrote:

> Function: limit proc x1 x2 k
> Function: limit proc x1 x2
>
>     ...

The specification and implementation of LIMIT has really improved
a lot. Good work! So LIMIT is now specified as a certain extrapolation
algorithm using the points (x, f(x1 + x2/k)), k in {1..d}.

Although I still have doubts that this functionality should go into the
core of a general purpose programming language (for many programs
it might not be relevant and it's also not essential for portability) this
operation is certainly a reasonably well-defined numerical algorithm.

Sebastian.