@hackage computational-algebra0.1.2.0

Well-kinded computational algebra library, currently supporting Groebner basis.

Dependently-typed computational algebra libray for Groebner basis.