∑ XahLee is a user on noagendasocial.com. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
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
