Audio is streamed directly from the publisher (media.haskellweekly.news) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
<p>Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more!</p>
<ul>
<li><a href="https://serokell.io/blog/developing-ghc-for-a-living">https://serokell.io/blog/developing-ghc-for-a-living</a></li>
<li><a href="https://twitter.com/int_index">https://twitter.com/int_index</a></li>
</ul>