Type Theory Forall Podcast: David Christiansen

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer.... #haskell

https://www.typetheoryforall.com/episodes/haskell-lean-idris-and-the-art-of-writing-1