let's see if I can get away with making this officially the introduction to my thesis
RT @wenkokke@twitter.com
I did a thing and wrote an introduction to session types
https://wen.works/posts/2020-12-17-an-introduction-to-session-types.html
let's see if I can get away with making this officially the introduction to my thesis
RT @wenkokke@twitter.com
I did a thing and wrote an introduction to session types
https://wen.works/posts/2020-12-17-an-introduction-to-session-types.html