gjm comments on The Pascal’s Wager Fallacy Fallacy

[gjm]

Adding program length and runtime feels to me like a type error.