← Back to context Comment by vrighter 25 days ago So you want the program to always halt at some point. How would you write a deterministic test for it? 1 comment vrighter Reply te7447 25 days ago I 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.
te7447 25 days ago I 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.
I 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.