4 ms·
I assumed it was a shout out to Dana Scott.
by defrost 1y ago
I assumed it was a shout out to Dana Scott.
- joshmoody24 1y ago;)
- defrost 1y agoWas there a nod to Christopher in there? * https://www.youtube.com/watch?v=c11KqZOv908 https://www.youtube.com/watch?v=c11KqZOv908 * https://en.wikipedia.org/wiki/Christopher_Strachey https://en.wikipedia.org/wiki/Christopher_Strachey