xy.b.(b x y)
| September 22, 1999 | Perl and the Lambda Calculus | Slide #23 |
Goal:
(FIRST (PAIR x y)) => x
(SECOND (PAIR x y)) => y
Solution:
PAIR : xy.b.(b x y)
FIRST: p.(p TRUE)
SECOND: p.(p FALSE)
| Next |  |
Copyright © 1999 M-J. Dominus |