Re:Ask HN: What book have you given as a gift?
by caretStick on Sunday August 07, 2016 @08:36PM
(#12244653)
https://homotopytypetheory.org/book/
[ Parent
| on HN ]
There are no comments on this comment yet.