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 compiling to categories

20:35 learning to love mathematics

22:41 applications for compiling to categories

25:25 Coq

28:15 specifying the ByteString library in Coq

34:30 Why Haskell?

40:00 writing a compiler in C vs Haskell

43:32 gitlib

45:52 getting your head around Haskell

48:23 recursion schemes/F-algebras

52:33 hnix

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör http://www.haskellcast.com. Innehållet i podden är skapat av http://www.haskellcast.com och inte av, eller tillsammans med, Poddtoppen.