Comment strike a balance (Score 1) 469
In some cases, proofs are totally unintuitive and do not provide insight into the result. In others, they are incredibly helpful! I say, let the authors decide.
It appears that PL/I (and its dialects) is, or will be, the most widely used higher level language for systems programming. -- J. Sammet
