constructive-algebra: A library for constructive algebra.

[ algebra, bsd3, library, math ] [ Propose Tags ]

A library for constructive algebra.

Versions [faq] 0.0.0, 0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.2.0, 0.3.0
Dependencies base (>=3 && <=4), QuickCheck (>=2) [details]
License BSD-3-Clause
Author Anders Mortberg, Bassel Mannaa
Maintainer mortberg@student.chalmers.se
Category Math, Algebra
Uploaded by AndersMortberg at Sun May 16 11:23:31 UTC 2010
Distributions NixOS:0.3.0
Downloads 4429 total (103 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees