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 ]
There are no comments on this comment yet.