But the promise of provably correct code does not imply that you'll never code any errors.Beware of bugs in the above code; I have only proved it correct, not tried it.
In reply to Re^11: Better mousetrap (getting top N values from list X)
by Anonymous Monk
in thread Better mousetrap (getting top N values from list X)
by Limbic~Region
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |