Derive Group instances using generics (Haskell library)
Why do you think that https://github.com/ferzcam/tropical-geometry is a good alternative to groups-generic
Derive Group instances using generics (Haskell library)
Why do you think that https://github.com/ferzcam/tropical-geometry is a good alternative to groups-generic