3 ms·

There is a funny typo (spell corrector maybe?): it's "Homotopy" not "Homeopaty" Type Theory

• ifesdjeen 12y ago
  (author here) was on purpose. I've tried to built in several subtle jokes)