First Intuitions of Homotopy Type Theory (HoTT)thechurchofmind.com3 points·BucketSort··0 commentsOpen articleSaveView on HN