[Python-Dev] re: PEP 279 revisited, formally

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