Primitive recursive function (source code)

= Primitive recursive function
{wiki}

= Primitive recursive
{synonym}

Primitive recursive functions are generated by zero, successor, and projections under composition and primitive recursion.