Re:Univalent Foundations: “No Comment.”
by corndoge on Wednesday May 20, 2015 @09:55PM
(#9580554)
I found it nifty that each commenter has a Wikipedia page to their name.
[ Parent
| on HN ]
There are no comments on this comment yet.