Summary: In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.
Summary: In todays interview Stephanie Weirich explains her efforts to make haskell have dependent types and how that example worked.