TO DO list for FitSpec
======================

misc
----

* 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)

* implement `toplibs` hack (from LeanCheck and Speculate);

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)