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

		dllthomas on Feb 12, 2015 \| parent \| context \| favorite \| on: Seven deadly sins of talking about “types” (2014) "Beware of bugs in the above code. I have only proved it correct, not tried it." http://www-cs-faculty.stanford.edu/~uno/faq.html