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

Related video showing animated lambda diagrams: https://m.youtube.com/watch?v=RcVA8Nj6HEo


Another notation showing the construction of the predecessor function: https://www.youtube.com/watch?v=CWzn2ucPMdg




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

Search: