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.2.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) [details] |
| License | MIT |
| Author | Joe Leslie-Hurd <joe@gilith.com> |
| Maintainer | Joe Leslie-Hurd <joe@gilith.com> |
| Category | Formal Methods |
| Uploaded | by JoeHurd at 2012-11-09T03:16:46Z |
| Distributions | NixOS:1.8 |
| Reverse Dependencies | 13 direct, 2 indirect [details] |
| Executables | opentheory-primitive-test |
| Downloads | 5920 total (30 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |