Galchin, Vasili | 12 Oct 08:19

Real World Haskell Chapter 11 ... Testing

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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Gmane