3 ms·
What threads do you mean? (The only thing that comes to mind is HoTT stuff, but that's kind of over my head for now)
by uryga 8y ago
What threads do you mean? (The only thing that comes to mind is HoTT stuff, but that's kind of over my head for now)