The opentheory package

[Tags: library, mit]

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

Properties

Versions1.61, 1.74, 1.76, 1.195, 1.196, 1.197, 1.198, 1.199
Change logNone available
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
UploadedThu Aug 16 07:47:56 UTC 2012 by JoeHurd
DistributionsNixOS:1.199
Downloads504 total (102 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