015 - Dependent Types in Haskell with Stephanie Weirich
CoRecursive: Coding Stories - Podcast tekijän mukaan Adam Gordon Bell - Software Developer
Kategoriat:
In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.
