Metadata
Author: WikiMatrix
Data
English[en]
Thus corecursion creates (potentially infinite) codata, whereas ordinary recursion analyses (necessarily finite) data.
Dutch[nl]
Merk op dat de corecursie (mogelijk oneindige) codata creëert, terwijl de gewone recursie (noodzakelijkerwijs eindige) data analyseert.