I'm working through the HoTT book, and posting the solutions publicly will probably motivate me to make my solutions clean enough to not be ashamed of them.
I'm working through the HoTT book, and posting the solutions publicly will probably motivate me to make my solutions clean enough to not be ashamed of them.