3 ms·
I am reading CTM by Van Roy/Haridi and watching Van Roy's edx vids. Very nice explanations that require a lot of filling in the holes. If someone else is famil
by goc 11y ago
I am reading CTM by Van Roy/Haridi and watching Van Roy's edx vids. Very nice explanations that require a lot of filling in the holes.
If someone else is familiar with Oz/Van Roy stuff, I have a question.
- nextos 11y agoI am, but I read it many years ago, so I might not be able to help
- goc 11y agoIn this video[0] Van Roy claims that the function Three "resolves" to 3. It's at around 8:45 minute. I tried working that out, but can't seem to get it correct. What I tried {Inc {Inc {Inc Zero}}} {Inc {Inc 1}} {Inc {1} + 1} {{{1} + 1} + 1} Can we consider {{{1} + 1} + 1} to be 3 or what are my mistakes? Thanks. [0] https://youtu.be/Arh_6J5_fWU?t=8m46s https://youtu.be/Arh_6J5_fWU?t=8m46s