Reminds me of that epic moment (in 2015, if I remember correctly), when @milessabin announced CPS on types and @djspiewak had That Look On His Face.
The look on @milessabin’s face when @propensive brought up the subject of ‘kind skolems’ could have been carved by Michelangelo himself
-
-
-
I believe I literally dropped my pen in astonishment.
- Show replies
New conversation -
-
-
I think this is the second conference now we have both been to where our paths have failed to cross... sorry!
-
Sorry from me too! I wanted to congratulate you in person on your use of the word sclerotic today but Twitter will have to do.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.