opentheory-primitive: Haskell primitives used by OpenTheory packages
The types and values defined in this package extend those in the Prelude to provide the core execution platform assumed by Haskell packages exported from formally verified OpenTheory packages.
Modules
[Index]
Downloads
- opentheory-primitive-1.8.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 1.0, 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8 |
|---|---|
| Dependencies | base (>=4.0 && <5.0), QuickCheck (>=2.4.0.1 && <3.0), random (>=1.0.1.1 && <2.0) [details] |
| License | MIT |
| Author | Joe Leslie-Hurd <joe@gilith.com> |
| Maintainer | Joe Leslie-Hurd <joe@gilith.com> |
| Category | Formal Methods |
| Home page | http://www.gilith.com/research/opentheory/ |
| Uploaded | by JoeHurd at 2015-10-19T05:50:40Z |
| Distributions | NixOS:1.8 |
| Reverse Dependencies | 13 direct, 2 indirect [details] |
| Downloads | 5907 total (38 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2015-10-19 [all 1 reports] |