Brendan Zabarauskas on Twitter: "@zornsllama They are so cool! 🤩" / Twitter

I’m not exaggerating when I say understanding dependent types has been the biggest shift in my understanding of CS in years

5

3

66

Replying to

They are so cool! 🤩

Conversation