[Haskell-cafe] Examples of using Haskell for mathematics

Galchin, Vasili vigalchin at gmail.com
Tue May 27 00:43:32 EDT 2008

Hi Henning,

   I have often wondered if the notion of lazy list evaluation isn't an
example of constructive mathematics. ?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080526/a443faac/attachment.htm

More information about the Haskell-Cafe mailing list