kalker/tests/recursion.kalker
2022-03-26 19:44:26 +01:00

11 lines
136 B
Plaintext

f(x) = {
f(x - 1) if x >= 1
x otherwise
}
g(x, y) = {
g(x - 1, y + 1) if x >= 1
y otherwise
}
f(5) = 0 and g(5, 0) = 5