TO DO list for LeanCheck
========================
List of things to do for LeanCheck.
misc
----
* parameterize number of tests in test programs and add slow-test target
documentation
-------------
* on tutorial.md, write about how to create test programs;
* on data-invariant.md, write missing section;
other improvements
------------------
* implement `conditionStatsT` (see `classStatsT`)
later
-----
* implement stub `Test.LeanCheck.Function.*` modules;
* somehow, improve the improve the enumeration of `Char`s:
list = [ ['a'], ['b','c'], ['d','e','f'], ... ]
||| [ [' '], ['\n'] ]
||| [ ['0'], ['1'], ['2'], ...]
||| ...
where
||| is something that interleaves tiers of different lists...
* further improve showing of functions, indead of showing:
\p q -> case (p,q) of
(False,False) -> False
(False,True) -> False
(True,False) -> True
(True,True) -> False
actually show just:
\p q -> case (p,q) of
(True,False) -> True
_ -> False
Some thinking may have to be done for:
\x y -> case (x,y) of
(0,0) -> 0
(0,1) -> 0
(1,1) -> 1
(1,0) -> 1
(0,2) -> 0
(1,1) -> 1
(2,0) -> 1
...
Where: `const (const 1) ->/ [(1,const 0)]`.