I liked this part of one answer especially > Still, I hope that this sheds some light on the question that is implied: "What really is the difference between p

I liked this part of one answer especially > Still, I hope that this sheds some light on the question that is implied: "What really is the difference between proving some theorem and writing a program?" (To which a careless observer of the Curry-Howard correspondence might say: "Nothing at all!")