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....
News about the Haskell programming language from 2024-05-16.