Nice thread explaining a bit about what type theory is! ✨
Quote Tweet
I was talked into posting an "explanation" of type theory in the style of those annoying 
twitter 
threads 
, so:
Let's talk about type theory! 
twitter threads , so:
Let's talk about type theory! Show this thread