"git@gitlab.cs.fau.de:Matombo/AndroidSystemSEPolicy.git" did not exist on "575e6270813e4d701e824951920a359d16f0d054"
Select Git revision
BenchGroupValued.hs
-
Hans-Peter Deifel authoredThose functors really require the inverse operation to perform as required. A separate functor for monoids that aren't groups is feasable, but would not satisfy the runtime complexity requirements.
Hans-Peter Deifel authoredThose functors really require the inverse operation to perform as required. A separate functor for monoids that aren't groups is feasable, but would not satisfy the runtime complexity requirements.