* 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!