[vegas]

He left out "You are Donald Knuth"

[mpweiher]

Donald "beware of bugs in the above code; I have only proved it correct, not tried it" Knuth?

[readme]

I'd be kind of surprised if Knuth didn't write tests. I'd expect him to formally prove every single line of his code.

In any event, I find that using literate programming results in less buggy and more comprehensive code.