TO DO list for FitSpec ====================== misc ---- * (?) announce on mailing list (wait for Haddock to be ready) * parameterize number of tests in test programs and add slow-test target * add diff test for IO functions (diff w/ model output and exit status) documentation ------------- * add second simple/minimal example in eg (unbalanced binary search tree? stack?); * write detailed install instructions on INSTALL.md (cabal install, cabal from sandbox, source include) v0.4.2 ------ * implement `toplibs` hack (from LeanCheck and Speculate);