The Type Theory Podcast (2016)typetheorypodcast.com1 point·anqurvanillapy··0 commentsOpen articleSaveView on HN