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