Add link to quickcheck repo