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