015 - Dependent Types in Haskell with Stephanie Weirich
CoRecursive: Coding Stories - En podkast av Adam Gordon Bell - Software Developer
Kategorier:
In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.
