[Haskell-cafe] QuickCheck Questions

[Emil Axelsson]

Pasqualino "Titto" Assini skrev:
> Fantastic.
> 
> If I understand correctly it inductively derives equations that hold
> for a set of examples.

AFAIU, it enumerates a set of terms and uses random testing to 
approximate an equivalence relation for these. The real trick, 
apparently, is in filtering out the interesting equations.

> I am looking forward to see it in Haskell, who is working on the port?

John Hughes, Koen Claessen and Nick Smallbone. (At least.)

/ Emil