← Back to context Comment by Kinrany 3 years ago They likely don't change a lot, so the AI called diff would suffice 1 comment Kinrany Reply kevincox 3 years ago And provides a much stronger guarantee of correctness.
And provides a much stronger guarantee of correctness.