
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...