lib:cmu

Modules

• Algebra.CommutativeMonoid.LinDiophEq
• Algebra.CommutativeMonoid.Unification

Dependencies

• array lib:array >=0
• base lib:base >=4.13 && <5
• containers lib:containers >=0.3

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything