Podcast: Type Theory Forall (via yawaramin) — discussion

#ml #plt