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

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