next up previous contents index
Next: Arithmetic Operations Up: Natural Numbers Previous: three   Contents   Start


zerop


(define zerop 
   (lambda (n)
      ((n (lambda(y)
             false))
          true)))

This abstraction is used to check, whether a number is equal to 0. `true' or `false' is returned respectively. Readers are referred back to our `apples example' as a help to understand the code of this abstraction.

Georg P. Loczewski 2004-03-05


Impressum und Datenschutz