Computational Type Theory [1/5] – Robert Harper – Oplss 2018youtube.com2 points·jiehong··0 commentsOpen articleSaveView on HN