[Haskell-cafe] Re: Unifcation and matching in Abelian groups

John D. Ramsdell ramsdell0 at gmail.com
Fri Aug 28 20:31:06 EDT 2009


I cleaned up the code, partitioned it into a library and an
executable, and made the package available on hackage as agum-1.0.
Enjoy.

John


More information about the Haskell-Cafe mailing list