3 ms·This is why Turing-complete languages are evil and you should use Agda.by tikhonj 14y agoThis is why Turing-complete languages are evil and you should use Agda.