QuickCheck by example: Number theory and Okasaki's red-black treesmatt.might.net83 pointslelf12 years ago