added quickcheck workshop