smallcheck-0.2.1: examples/listy/README
First see ../../README. In this directory, compile or interpret ListProps.main (SmallCheck is the only other module required) for a small selection of self-introducing tests of list-processing functions.
First see ../../README. In this directory, compile or interpret ListProps.main (SmallCheck is the only other module required) for a small selection of self-introducing tests of list-processing functions.