For minimum insanity, I think you'd have to assume that I meant Neg Zero to repr...

dragonwriter on Aug 6, 2014 | parent | context | favorite | on: What is type safety?

For minimum insanity, I think you'd have to assume that I meant Neg Zero to represent -1, Neg (Succ Zero) to be -2, etc., with an appropriate definition of subtract.