Here's slides from the MSP101 talk I did on Friday. We start off with STλC, with tree-shaped contexts (not esse… twitter.com/i/web/status/1…
17 May 20copy & paste+upvote-downvote↖ Here's slides from the MSP101 talk I did on Friday.
↗ We start off with STλC, with tree-shaped contexts (not esse… https://t.co/CrEucGj4qi
“@_lexiemichelee: @MariaCabayubi you know how slow I am Maria. But it looks really good”hah I know this. But thank youuu
14 Jan 13copy & paste+upvote-downvote“@_lexiemichelee: @MariaCabayubi you know how slow I am Maria. But it looks really good😍😘👏💖”hah I know this. But thank youuu ☺😚💜💜