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