4 ms·
It won’t. I have studied it enough to realise that it doesn’t give me anything new. I have learned a lot more studying (Martin Loff) Type theory. Which is also
by deterministic 3y ago
It won’t. I have studied it enough to realise that it doesn’t give me anything new. I have learned a lot more studying (Martin Loff) Type theory. Which is also a solid foundation of math by the way.