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

Galchin, Vasili vigalchin at gmail.com
Sun Oct 12 02:21:42 EDT 2008


      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

More information about the Haskell-Cafe mailing list