3 ms·Type theory is already dead, it just doesn't know it yet.by auggierose 4y agoType theory is already dead, it just doesn't know it yet.