Quickcheck for Mercury

  1. Intro & `===`
  2. Conditional laws & `===>`
  3. Monitoring Data, to_trivial/3, `>>>`
  4. Summary - Invariant Function & Property
  5. Generators basic
  6. Discriminated union & Specific Frequency
  7. General Frequency
  8. Random Functions
  9. User Defined Generators
  10. Summary - Generators

Feedback? Mail Simon.