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> |
| Uploaded | by JoeHurd at 2012-11-09T03:16:46Z |
| Category | Formal Methods |
| Reverse Dependencies | 13 direct, 2 indirect [details] |
| Executables | opentheory-primitive-test |
| Downloads | 6421 total (48 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] |