Skip to content

Folds

Jump to bottom
Ilya Sergey edited this page Jun 1, 2018 · 11 revisions

Structural Recursion and Folds in Scilla

Pragmatics

Implementation of Fixpoints

Folds for built-in ADTs

Examples and Case Studies

Clone this wiki locally