Module data
lambda_calculus
Lambda-encoded data types
Lambda-encoded booleans
List encodings
Numeral encodings
Lambda-encoded option
Lambda-encoded pair
Lambda-encoded result type
Lambda-encoded n-tuple
n