This is a tail recursive implementation.
Arguments
- f
A function (named, anonymous or formula).
- k
an integer index.
- p
A function (named, anonymous or formula).
Examples
if (FALSE) {
# sum of squares integers less than or equal to 4
summa(\(x) x**2, 1, \(i) i<=4)
}