3 Commits (e50ce2fda9add843d6fd2a8d02dbabf3ef8920c3)

Author	SHA1	Message	Date
Alexis Williams	261dc4951b	Nishikino_Maki_reads_HoTT.png	6 years ago
ngyj	788164e926	Autistically rename a bunch and delete dd87aaeda934fdeeb5765b2a436e917a.jpg	7 years ago
Mario Rodas	40cffabdd9	Add Nagato reading Homotopy type theory book	7 years ago