[Haskell-cafe] Real World Haskell Chapter 11 ... Testing

[Galchin, Vasili]

Hi,

      Testing of "pure" code ... . way cool ... I am sure there literature
from the first order logic, model theory, categorical logic viewpoint??

Kind regards, Vasili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081012/697863d8/attachment.htm