Merge pull request #8 from robertoaloi/eqc-notes

Add QuickCheck article
Formatting