Module lambda_calculus::data
[−]
[src]
Lambda-encoded data types
Modules
boolean | |
list |
List encodings |
num |
Numeral encodings |
option | |
pair | |
result |
Lambda-encoded result type |
tuple |