Type Theory Forall Podcast: David Christiansen (www.typetheoryforall.com)
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....