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