StevenXClontz’s Twitter Archive—№ 1,631

Just started a Homotopy Type Theory book club... if you'd be interested in joining let me know. homotopytypetheory.org/book/