
Episode 14 - Richard Eisenberg on Dependent Types in Haskell
Jun 14, 2017 - 65:59
Radio and PodcastLive Radio & Podcasts
Neil Mitchell shares with us his enthusiasm for building development tools. We hear the story of how he built Hoogle in order to learn Haskell, why he created the Shake build system and what he hopes to accomplish with i...