Hacker News new | ask | show | jobs
by SAI_Peregrinus 3383 days ago
Naw, straight into the deep end is to start with reading the Homotopy Type Theory book... https://homotopytypetheory.org/book/