testing: Import Martin Jonas's thesis.
testing: Make it compile (ghc 4.8.1).
testing: Improve .cabal and Makefile.
testing: Rework main.
testing: Show at least some compilation outptut.
testing: Line ending, reindenting.
testing: Use system QuickCheck (the included doesn't work now anyway).
testing: Do to import everything possible (it is dangerous).
testing: Layout tweaks.
testing: Print nice compilation errors.
testing: Bump version to 0.1.1 (as it works now :-})

example:
make
./expressionTesting --compare-expressions --expression-name="f" \
    --student="f :: Int -> Int; f x = x" \
    --solution="f :: Int -> Int; f = id"

~~> Success
testing: Implement feedback for type errors.
testing: Give output from QuickCheck when test fails.
testing: Add missing file.
Make: Install dependencies automatically.
testing: Implement testscript based interfase.
testing: Shuffle sources to tweak compilation.
testing: Load self-library instead of counting on sources.

Sources may not be available and besides it works poorly (or not at all)
if same module is loaded compiled and interpreted.
Make: Use cabal sandboxes, wrap binary so it can find libray.

GHC does not play with sandboxes very well so far.
testing: Add examples.