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