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. (define one
  6.   (lambda (f) (lambda (x) (f x))))
  7.  
  8. (define two
  9.   (lambda (f) (lambda (x) (f (f x)))))
  10.  
  11. (define (church-plus a b)
  12.   ((a (lambda (n) (lambda (f) (lambda (x) (f ((n f) x)))))) b))
  13.  
  14. (define (church->integer a)
  15.   ((a add-1) 0))
  16.  
  17. (display (church->integer zero))
Success #stdin #stdout 0.03s 4176KB
comments (?)
stdin 
Standard input is empty
stdout 
Standard output is empty
https://ideone.com/3NfgE
language:
Scheme (guile 2.2.4)
created:
14 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!