10 ms·https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/by caretStick 10y agohttps://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/