Hey everyone, quick reminder that I'm working on a formalised, online reference resource for HoTT — not meant as an introduction, but something to consult if an explanation from the book didn't quite click or you just wanna refresh your memory.
Conversation
omg this is awesome, you are so cooool
1
1
lol okies
(the name is still awesome lol)
1