next up previous contents index
Next: two Up: Natural Numbers Previous: zero   Contents   Start


one


(define one 
   (lambda (f)
      (lambda (x)
         (f x))))



Georg P. Loczewski 2004-03-05


Impressum und Datenschutz