The opentheory package

[Tags: library, mit, program]

The Haskell base Automatically generated from the opentheory package haskell-1.61


Properties

Versions1.61, 1.74, 1.76
Dependenciesbase (>=4.0 && <5.0), opentheory-primitive (>=1.0 && <2.0), QuickCheck (>=2.4.0.1 && <3.0), random (>=1.0.1.1 && <2.0)
LicenseMIT
AuthorJoe Hurd <joe@gilith.com>
MaintainerJoe Hurd <joe@gilith.com>
CategoryFormal Methods
Executablesopentheory-test
Upload dateThu Aug 16 07:47:56 UTC 2012
Uploaded byJoeHurd
Downloads136 total (11 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees