On 30 December 2011 17:27, Conal Elliott <conal@conal.net> wrote:
On Fri, Dec 30, 2011 at 9:20 AM, Colin Adams <colinpauladams@gmail.com> wrote:

proof: f is a function, and it is taking the same argument each time. Therefore the result is the same each time.

Careful of circular reasoning here. Is f actually a "function" in the mathematical sense? It's that math sense that you need to reach your conclusion.

Yes. Because Haskell is a functional programming language.