2 ms·Haha, yeah. Or Agda: when Turing completeness gets in the way of your mathematical logic.by tel 14y agoHaha, yeah. Or Agda: when Turing completeness gets in the way of your mathematical logic.