What’s the big deal with HoTT? [Homotopy Type Theory]existentialtype.wordpress.com1 point·tmoertel··0 commentsOpen articleSaveView on HN