3 ms·
While reading his rant I kept thinking it's a pitch for HOTT or Univalent Math. Many of the motivations are similar.
by theaeolist 8y ago
While reading his rant I kept thinking it's a pitch for HOTT or Univalent Math. Many of the motivations are similar.