@hackage computational-algebra0.1.3.6

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

Dependently-typed computational algebra libray for Groebner basis.