
Episode 14 - Richard Eisenberg on Dependent Types in Haskell
Jun 14, 2017 - 65:59
Radio and PodcastLive Radio & Podcasts
00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for particular dependencies with Nix 09:58 what Emacs and GHC have in common 12:58 developing with typed holes 14:43 comp...
Episode 13 - John Wiegley on Categories and Compilers is an episode from The Haskell Cast by The Haskell Cast. 00:44 using Haskell, Nix, and Emacs for integrated offline development 08:48 building environments for particular dependencies wi...
This episode belongs to The Haskell Cast.
Use the player on this page to stream the episode online.
Published May 11, 2017, 57:32 long, audio available.