3 ms·
> A system that is not even Turing complete is extremely limited. Agda is not Turing-complete, yet it is very useful.
by thesz 7mo ago
> A system that is not even Turing complete is extremely limited.
Agda is not Turing-complete, yet it is very useful.