Post #3441662

me at the tedx talk: see HTT is better because, unlike category theory and Haskell which has bottom types, Homotopy Type Theory deals with homo-tops, and as we all know, chad sigma types are better than cuck monoid losers...