feeds - Tech Talk: Idris, Proofs and Haskell with Edwin Brady (CoRecursive: Coding Stories)