Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

You're thinking of Peano numerals. The Church encoding of 3 is `lambda f: (lambda x: f(f(f(x))))`


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: