All content for Type Theory Forall is the property of Pedro Abreu and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.