[Haskell-cafe] Re: Why purely in haskell?

Jonathan Cast jonathanccast at fastmail.fm
Fri Jan 11 22:01:08 EST 2008

On 11 Jan 2008, at 5:13 AM, Achim Schneider wrote:

> Jonathan Cast <jonathanccast at fastmail.fm> wrote:
>> What kind of mathematics?  I don't know of any mathematics where
>> algebraic simplifications are employed without proof of the
>> underlying equations (in some denotational model).
> Mathematics as, as my professor put it, "Solving by staring".

Professor of what?  I would have been flunked for such an approach.


More information about the Haskell-Cafe mailing list