Quickcheck for Mercury
- Intro &
`===`
- Conditional laws &
`===>`
- Monitoring Data,
to_trivial
/3, `>>>`
- Summary - Invariant Function & Property
- Generators basic
- Discriminated union & Specific Frequency
- General Frequency
- Random Functions
- User Defined Generators
- Summary - Generators
Feedback? Mail Simon.