Je peux définir des chiffres de l'église assez facile système utilisant: > (define f (lambda (x) x))
> (f f) ;0
#<procedure:f>
> (f (f f)) ;1
#<procedure:f>
Cependant, cela ne le rend pas très f
Je suis coincé à l'étape suivante. Il sera grand si quelqu'un peut me aider: 2 = λfx.f(f x)
3 = λfx.f(f(f x))
ADD = λm n f x. m f (n f x)
Mes pas sont: (λm n f x. m f (n f x)) (λf x.f(f(f x))) (λf