Allow unlimited “hold”, deduct “hold points” for it, oblige Quirrell to offer any program infinitely many times and double the score only if the new program is note equivalent to any of the previous ones (otherwise, replace without altering score)? Maybe “hold” should work the same, too (no penalty if equivalent program was once rejected).
Allow unlimited “hold”, deduct “hold points” for it, oblige Quirrell to offer any program infinitely many times and double the score only if the new program is note equivalent to any of the previous ones (otherwise, replace without altering score)? Maybe “hold” should work the same, too (no penalty if equivalent program was once rejected).
I really don’t think incorporating halting-complete problems into the rules is a step forward.
Well, you can replace it with “equal as a string”, and it is only about scoring anyway.