- Compatibility with GHC 8.4.x: added
Semigroup (End r)instance.
- Compatibility with GHC 8.0.x
- Dropped incomplete instance for
Algebra r (Map a b)instance
- Restructured Ring hierarchy (Thanks @dfoxfranke!)
- Added DecidableNilpotence class (Thanks @dfoxfranke!)
- Support for
natsversion 1 and
base4.8’s version of
Numeric.Natural. This required monomorphizing some stuff to
Natural, but that is more accurate than the previous hack anyways.
- Added Euclidean domains and the field of fractions.
- Compatibility with GHC 7.8.x
- Started CHANGELOG