Aiken Utility Functions with Scott Encoding

A set of utility functions that return multiple values in Scott encoding rather than tuples of 2 or higher.

Credit

Credit for the datatypes and fold functions goes to KtorZ, this is my attempt at extrapolating his approach for other utility functions.

Search Document