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>Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.</p>
<ul>
<li><a href="https://danieljharvey.github.io/posts/2019-07-05-refined-types.html">https://danieljharvey.github.io/posts/2019-07-05-refined-types.html</a></li>
</ul>