“Sometimes you win, sometimes you lose, sometimes it rains.” – Ron Shelton
Dependent Types: A New Paradigm?
Click here to read the article
