Closed angerman closed 7 years ago
Add links to Justin Le and the practical dependent types in haskell blog post, so others don't have to jump through google to find the relevant links :-)
Ta
HuwCampbell
commented
7 years ago
Add links to Justin Le and the practical dependent types in haskell blog post, so others don't have to jump through google to find the relevant links :-)