4 ms·

The best way is making no mistakes :) The second best is machine-checkable proofs, like types. The fallback is tests. Sometimes the first two can't be applied

The best way is making no mistakes :) The second best is machine-checkable proofs, like types. The fallback is tests. Sometimes the first two can't be applied.