3 ms·
What does HOT stand for? It’s surely not higher order types but I can’t think of anything beginning with homotopy.
by dan-robertson 7y ago
What does HOT stand for? It’s surely not higher order types but I can’t think of anything beginning with homotopy.
- potiuper 7y agoAbbreviation for Homotopy Type: https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/