The opentheory-primitive package

[Tags:library, mit]

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, 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>
Stability Unknown
Category Formal Methods
Home page http://www.gilith.com/research/opentheory/
Uploaded Mon Oct 19 05:50:40 UTC 2015 by JoeHurd
Distributions NixOS:1.8
Downloads 1119 total (15 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-10-19 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees