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