The opentheory-primitive package
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.
Properties
| Versions | 1.0, 1.1, 1.2 |
|---|---|
| Dependencies | base (≥4.0 & <5.0), QuickCheck (≥2.4.0.1 & <3.0), random (≥1.0.1.1 & <2) |
| License | MIT |
| Author | Joe Leslie-Hurd <joe@gilith.com> |
| Maintainer | Joe Leslie-Hurd <joe@gilith.com> |
| Category | Formal Methods |
| Executables | opentheory-primitive-test |
| Upload date | Fri Nov 9 03:16:46 UTC 2012 |
| Uploaded by | JoeHurd |
| Built on | ghc-7.6 |
Modules
Downloads
- opentheory-primitive-1.2.tar.gz (Cabal source package)
- package description (included in the package)