next hour, study logic.
gonna understand homotopy type theory before i puff out my last breath.
http://xahlee.info/math/math_books.html
#math #haskell
Conversation
Notices
-
∑ XahLee (xahlee@noagendasocial.com)'s status on Saturday, 27-Jan-2018 00:09:51 EST ∑ XahLee