top | item 45319941 (no title) russellsprouts | 5 months ago Related video showing animated lambda diagrams: https://m.youtube.com/watch?v=RcVA8Nj6HEo discuss order hn newest bntr|5 months ago Another notation showing the construction of the predecessor function: https://www.youtube.com/watch?v=CWzn2ucPMdg
bntr|5 months ago Another notation showing the construction of the predecessor function: https://www.youtube.com/watch?v=CWzn2ucPMdg
bntr|5 months ago