Conversation

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