Idris2Doc : Algebra.Solver.Semiring

Algebra.Solver.Semiring

(source)
Reexports
import public Algebra.Semiring
import public Algebra.Solver.Semiring.Expr
import public Algebra.Solver.Semiring.Prod
import public Algebra.Solver.Semiring.SolvableSemiring
import public Algebra.Solver.Semiring.Sum