FP /

QuickCheckingStandardLibraries

QuickChecking Standard Libraries

Build a tool/framework for QuickChecking Haskells standard libraries (as implemente din for example GHC) against a specification (for example according to the Haskell98 report).

Background: Intro.FP, Datastructures; (preferably) AFP, Program Verification. Number of people: 1 or 2. Contact person: Koen