I think people are excited about the connection to type theory (tangentially connected to tech) as well as the idea that this field and the book are being devel

I think people are excited about the connection to type theory (tangentially connected to tech) as well as the idea that this field and the book are being developed in such an open-source way.