Hacker News new | ask | show | jobs
by russellsprouts 267 days ago
Related video showing animated lambda diagrams: https://m.youtube.com/watch?v=RcVA8Nj6HEo
1 comments
bntr 267 days ago
Another notation showing the construction of the predecessor function: https://www.youtube.com/watch?v=CWzn2ucPMdg
link