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;