September 22, 1999 Perl and the Lambda Calculus Slide #25

Numbers

        ZERO
        IS_ZERO
        SUCC
        PRED
        (IS_ZERO ZERO)                           => TRUE
        (IS_ZERO (SUCC x))                       => FALSE
        (PRED (SUCC x))                          => x


Next Copyright © 1999 M-J. Dominus