* Hackage: <http://hackage.haskell.org/package/sbvPlugin>
* GitHub:  <http://github.com/LeventErkok/sbvPlugin>

* Latest Hackage released version: 0.1, 2015-12-21

### Version 0.2, 2015-12-21

  * Further fleshing of internals
  * Support for case-expressions
  * Support for uninterpreted types/functions
  * Lots of test cases, refactoring.

### Version 0.1, 2015-12-06

  * Basic functionality. Initial design exploration.
  * The plugin functional on base values, but there
    are a lot of rough edges around the details.
    Please report any issues you might find!