TO DO list for LeanCheck
========================
List of things to do for LeanCheck.
documentation
-------------
* add eg folder with some examples of testing using LeanCheck;
* on tutorial.md, write about how to create test programs;
* on data-invariant.md, write missing section;
* update documentation of `T.LC.Function.*`, mark done/stub/experimental modules;
* review Haddock of all public modules
* find a way to fix links on hackage's README rendering
(absolute links to github?)
v0.4.1
------
* rework LeanCheck.Tiers module (simply bagsOf and setsOf);
v0.4.2
------
* implement stub `Test.LeanCheck.Function.*` modules;