p.(p FALSE) (PAIR M N))
| September 22, 1999 | Perl and the Lambda Calculus | Slide #24 |
(SECOND (PAIR M N))
(p.(p FALSE) (PAIR M N))
((PAIR M N) FALSE)
((xy.b.(b x y) M N) FALSE)
((y.b.(b M y) N) FALSE)
(b.(b M N) FALSE)
(FALSE M N)
(pq.q M N)
(q.q N)
N
Which is what we had hoped for
A similar computation of (FIRST P) yields M.
| Next |  |
Copyright © 1999 M-J. Dominus |