OvercastOvercast Podcaster Info Ads Log In

CoRecursive: Coding Stories

Tech Talk: Idris, Proofs and Haskell with Edwin Brady

January 29, 2018
0:00 -:--
Speed
–1×+++++2×+
Website • Share link • Share link with timestamp

The podcast and artwork embedded on this page are from corecursive.com, which is the property of its owner and not affiliated with or endorsed by Overcast. Overcast is © 2014–2024 Overcast Radio, LLC
Privacy Policy • Terms • Contact • Add • Info for Podcasters • Forecast