A tail-recursive function that uses an accumulator can also be expressed as an instance of a fold_right function.
[...]
Created [12 Apr 2024]
The functional abstraction and instantiation of tail-recursive functions that use an accumulator
Primitive recursion
Enter search terms or a module, class or function name.