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