We're sunsetting PodQuest on 2025-07-28. Thank you for your support!
Export Podcast Subscriptions
cover of episode Tech Talk: Idris, Proofs and Haskell with Edwin Brady

Tech Talk: Idris, Proofs and Haskell with Edwin Brady

2018/1/29
logo of podcast CoRecursive: Coding Stories

CoRecursive: Coding Stories

Shownotes Transcript

No transcript made for this episode yet, you may request it for free.