Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Zero : (lambda(y) (lambda(_) (lambda() ((_ y) (lambda(y) (lambda(z) z)))))) : ℕ
- x+y : (lambda(x) (lambda(y) (lambda(__) ((y x) (lambda(y) (lambda(z) y)) )))) : ℕ
- éZero? : (lambda(x) (lambda(y) (lambda(z) ((((x end?)) y) z) ))) : Lambda Boolean
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
