Module lambda_calculus::church
[−]
[src]
Church-encoded data and operators
This module can optionally not be built using features = ["no_church"]
.
Modules
booleans | |
lists | |
numerals | |
option |
Church-encoded option type |
pairs |