Univalent Foundations: “No Comment.”

Re:Univalent Foundations: “No Comment.” by ghancock on Wednesday May 20, 2015 @07:12PM (#9579977)

I recommend that you read the comments.

[ Parent | on HN ]

Re:Univalent Foundations: “No Comment.” by jerf on Wednesday May 20, 2015 @07:43PM (#9580125)

Oh, hey, thanks for that. It's really the majority of the page's content! I had missed out.

[ Parent | on HN ]

Re:Univalent Foundations: “No Comment.” by gone35 on Wednesday May 20, 2015 @07:33PM (#9580064)

Thank you; you are right! I didn't expect him to weigh in there. Deleting my earlier comment.

[ Parent | on HN ]