Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
First see ../../README. In this directory, LogicProps.hs illustrates the basic way to define Serial instances of your own types, and hence Testable properties of functions over them. Compile or interpret LogicProps.main (SmallCheck is the only other module required) for a small selection of self-introducing tests.