3 ms·
Great. 35 points and no discussion. I’d say that tells you SOMETHING about type theory.
by auggierose 9y ago
Great. 35 points and no discussion. I’d say that tells you SOMETHING about type theory.
- nine_k 9y agoE.g. it says: we need time to actually read the paper.
- auggierose 9y agoFunny. If only.