[Haskell-cafe] Examples of using Haskell for mathematics

27 May 2008

      Hi Henning,

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

Vasili

Galchin, Vasili