[Python-Dev] re: PEP 279 revisited, formally (original) (raw)

Paul Prescod paul@prescod.net
Wed, 24 Apr 2002 10:55:22 -0700

David Ascher wrote:

... Let's try and approach this from a formal POV.

My only addition to your formal model is a factor for mnemonic-ness. I like "numerate" because I wouldn't have a bunch of preconditions but once I figured out what it meant I'd remember it.

Paul Prescod