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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe