Type Theory Podcast #1: Peter Dybjer on types and testingtypetheorypodcast.com3 points·jonsterling··0 commentsOpen articleSaveView on HN