quickcheck

• Introductory Haskell: Solving the Sorting-It-Out Kata – October 31, 2006
• Seven Lessons from the ICFP Programming Contest – July 31, 2001