fork download
  1. (define zero (lambda (f) (lambda (x) x)))
  2.  
  3. (define (add-1 n)
  4. (lambda (f) (lambda (x) (f ((n f) x)))))
  5.  
  6. (display (zero 0))
  7. (newline)
  8. (display (add-1 zero))
Success #stdin #stdout 0.02s 4176KB
stdin
Standard input is empty
stdout
#<procedure #f (x)>
#<procedure #f (f)>