Comment by PeCaN
11 years 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)
11 years 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)
I was joking clearly. Thought the ridiculousness of the idea make that clear.