Type Theory Podcast #3: Dan Licata on Homotopy Type Theorytypetheorypodcast.com1 point·jonsterling··0 commentsOpen articleSaveView on HN