5 ms·
So you want the program to always halt at some point. How would you write a deterministic test for it?
by vrighter 9mo ago
So you want the program to always halt at some point. How would you write a deterministic test for it?
- te7447 9mo agoI imagine you would use something that errs on the side of safety - e.g. insist on total functional programming and use something like Idris' totality checker.