fptools/libraries/QuickCheck/hugs
