3 ms·It does, but I rather like "twisted type theory" :-)by randallholmes 2y agoIt does, but I rather like "twisted type theory" :-)