2 ms·
I would have thought the references to category theory and Robert Harper Thought (he's a homotopy type theory researcher) would have made the humor clear.
by eli_gottlieb 7y ago
I would have thought the references to category theory and Robert Harper Thought (he's a homotopy type theory researcher) would have made the humor clear.