
19 Apr
2013
19 Apr
'13
11:41 a.m.
Hi,
Petr Pudlák
Hi, is there a Haskell library for defining and working with algebraic
structures [...] ? There is also http://hackage.haskell.org/package/HaskellForMaths