Module lambda_calculus::pair
[−]
[src]
Functions
first |
Applied to a Church-encoded pair (a, b) it yields a. |
pair |
Produces a Church-encoded pair; applying it to two other terms puts them inside it. |
second |
Applied to a Church-encoded pair (a, b) it yields b. |