-----------------------------------------------------------------------------
---
+-- |
-- Module : Debug.QuickCheck
-- Copyright : (c) Koen Claessen, John Hughes 2001
-- License : BSD-style (see the file libraries/core/LICENSE)
-- Stability : experimental
-- Portability : portable
--
--- $Id: QuickCheck.hs,v 1.1 2001/08/17 12:48:38 simonmar Exp $
---
-- QuickCheck v.0.2
-- DRAFT implementation; last update 000104.
-- Koen Claessen, John Hughes.