015 - Dependent Types in Haskell with Stephanie Weirich
In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.
In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.