@hackage opentheory1.200

The standard theory library

Categories
License
MIT
Maintainer
Joe Leslie-Hurd <joe@gilith.com>
Links
- Homepage
- Documentation
- No source repository
Versions
- 1.200 Fri, 24 Jul 2015
- 1.199 Tue, 26 May 2015
- 1.198 Tue, 26 May 2015
- 1.197 Wed, 13 May 2015
- 1.196 Wed, 13 May 2015
- 1.195 Tue, 12 May 2015

The standard theory library - this package was automatically generated from the OpenTheory package base-1.200

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/arithmetic