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

There are no comments on this comment yet.