2 ms·
Yes, like giving the correct result for every possible input.
by noosphr 9mo ago
Yes, like giving the correct result for every possible input.
- rerdavies 9mo agoNot really sure that a type system is going to guarantee that your program generates the correct result for every possible input.