Podden och tillhörande omslagsbild på den här sidan tillhör The Type Theory Podcast. Innehållet i podden är skapat av The Type Theory Podcast och inte av, eller tillsammans med, Poddtoppen.