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