next up previous contents
Next: Decrementing a number: `pred' Up: Extended Numerical Abstractions Previous: Extended Numerical Abstractions   Contents


Abstraction `zeropair'

This special abstraction is needed in the following implementation of determining the predecessor of a natural number.
(define zeropair 
   (cons zero zero))



Georg P. Loczewski 2004-03-05


Impressum und Datenschutz