3 ms·
Naw, straight into the deep end is to start with reading the Homotopy Type Theory book... https://homotopytypetheory.org/book/ https://homotopytypetheory.org/bo
by SAI_Peregrinus 10y ago
Naw, straight into the deep end is to start with reading the Homotopy Type Theory book... https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/