Beware of bugs

Beware of bugs in the above code; I have only proved it correct, not tried it.

Donald Knuth (in 1977; explanation here)

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.