|
|
|
|
|
|
by prodigal_erik
5748 days ago
|
|
|
Correctness stems from expressing not only the algorithm but also the results you expect from running it (as types and/or test cases) so they can be verified. But if you somehow convince yourself that you haven't made any mistakes, it's always less work to just write the algorithm (and omit the expected results). |
|
|