Reading the "homotopy type theory" book. A little annoyed that so far it's all about "paths", which they have not defined
-
Show this thread
Replying to @mcclure111
Yeah, my major annoyance with that book is that it introduces types meticulously, but skimps on the topology.
1:47 PM - 7 Sep 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.