A new module for performing tail-call elimination

[Marko Rauhamaa]

Robin Becker <robin at reportlab.com>:

> which is said to be not "primitive recursive" ie cannot be unwound
> into loops; not sure whether that implies it has to be recursively
> defined or can perhaps be broken down some other way. For more
> eye-glazing

You only need a single while loop plus primitive recursion to implement
total recursion.


Marko