Why should you learn Type Theory? [video]youtube.com3 points·johnsonjo··0 commentsOpen articleSaveView on HN