Commit Graph

3 Commits

Author SHA1 Message Date
Alexis Williams
261dc4951b Nishikino_Maki_reads_HoTT.png 2019-02-19 10:15:53 -08:00
ngyj
788164e926 Autistically rename a bunch and delete dd87aaeda934fdeeb5765b2a436e917a.jpg 2018-09-21 20:29:40 +02:00
Mario Rodas
40cffabdd9 Add Nagato reading Homotopy type theory book 2018-05-13 10:24:42 -05:00