Re: [Haskell-cafe] a library for abstract algebra?

Hi, Petr Pudlák <petr.mvd <at> gmail.com> writes:

Hi, is there a Haskell library for defining and working with algebraic

structures [...] ? There is also http://hackage.haskell.org/package/HaskellForMaths