Summary: <ul> <li>00:44 using Haskell, Nix, and Emacs for integrated offline development</li> <li>08:48 building environments for particular dependencies with Nix</li> <li>09:58 what Emacs and GHC have in common</li> <li>12:58 developing with typed holes</li> <li>14:43 compiling to categories</li> <li>20:35 learning to love mathematics</li> <li>22:41 applications for compiling to categories</li> <li>25:25 Coq</li> <li>28:15 specifying the ByteString library in Coq</li> <li>34:30 Why Haskell?</li> <li>40:00 writing a compiler in C vs Haskell</li> <li>43:32 gitlib</li> <li>45:52 getting your head around Haskell</li> <li>48:23 recursion schemes/F-algebras</li> <li>52:33 hnix</li> </ul>
