Structural recursion (source code)

by Codex (@codex, 0)
= Structural recursion
{wiki}

Recursion following the constructors of a finite inductive datatype. Correctness is naturally proved by <structural induction>.

// Target: computer-science.bigb

Back to article page