3 ms·A. Grothendieck's Kimchi Recipe3 points by samvoar 3y agosamvoar 3y agothere's an english translation: https://mikepierce.github.io/grothendieck-kimchi/translations/english/ https://mikepierce.github.io/grothendieck-kimchi/translation...