Future Plans

Over time, we hope to add more features to the library and improve the API. Here’s some of the big issues we are thinking about adding in the future:

1. Allow for an option of random generators.
2. Implement the ‘smaller’ protocol like Haskell and ScalaCheck to find the smallest possible failing case (instead of hundreds of failing cases).