On 11 Jan 2008, at 5:13 AM, Achim Schneider wrote:
Jonathan Cast <[EMAIL PROTECTED]> 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.
jcc
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe