The opentheory package

[Tags: library, mit, program]

The Haskell base - automatically generated from the opentheory package haskell-1.76


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 Leslie-Hurd <joe@gilith.com>
MaintainerJoe Leslie-Hurd <joe@gilith.com>
CategoryFormal Methods
Executablesopentheory-test
UploadedSat Nov 10 21:39:50 UTC 2012 by JoeHurd
Downloads285 total (22 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees