Source: cirosantilli/non-primitive-total-recursive-function

= Non-primitive total recursive function