Subscribe In Itunes!

015 – Dependent Types in Haskell with Stephanie Weirich