lamphpda
lamphpda copied to clipboard
Oppositive semigroup
- introduce opposite semigroup
- do not flip arguments in list concatenation monoid