Version 0.7-0 of sbvPlugin is deprecated.
The latest version of sbvPlugin is 9.10.1-0.
lib:sbvPlugin
Modules
- Data.SBV.Plugin
- Data.SBV.Plugin.Examples.BitTricks
- Data.SBV.Plugin.Examples.MergeSort
- Data.SBV.Plugin.Examples.MicroController
Dependencies
- base lib:base >=4.9 && <5
- containers lib:containers >=0
- ghc lib:ghc >=0
- ghc-prim lib:ghc-prim >=0
- mtl lib:mtl >=0
- sbv lib:sbv >=5.12
- template-haskell lib:template-haskell >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- sbvPlugin test:sbvPluginTests