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