Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : sbvPlugin : 0.11
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV package. See Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples for more details.
Registry -
Download -
JSON
purl: pkg:hackage/[email protected]
Published:
Indexed:
Related tag:
v0.11
- compare
Loading...
Readme
Loading...
Dependencies
- base >=4.12 && <5
- containers *
- ghc >=8.6.1
- ghc-prim >=0.5.3
- mtl *
- sbv >=8.0
- template-haskell *