Episode 133: 🇵🇱 Lambda Days Live 🇵🇱 José Valim, Alexis King & More!
Algorithms + Data Structures = Programs
00:00
Functional Females and Lambda Days 2024
Kim: My strategy here is like first I read the type driven development from ad been braided. That was a really good book. And after I just grab another book from my bookshelf and try to apply dependent types there. Do you think you'll be back in the future to Lambda days 2024? Some version in the future? Definitely. Thanks for being on the podcast. Cheers.
Transcript
Play full episode
