3 ms·
Because finding code that passes arbitrary tests is undecidable in the general case. (Same reason the pseudo-Idris language would have to be non-Turing-complet
by PeCaN 11y ago
Because finding code that passes arbitrary tests is undecidable in the general case.
(Same reason the pseudo-Idris language would have to be non-Turing-complete)
- andy9775 11y agoI was joking clearly. Thought the ridiculousness of the idea make that clear.