Name: Anonymous 2014-05-25 23:48
What else do you think should be added to this?
retards who can't even prove the yoneda lemma still shilling homotopy type theory because they think it's the next cool thing after dependent typesit doesn't get more pathetic than that