News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.