Commit 2024-05-13 22:13 2aa7868f
View on Github →chore: Don't use ring in Data.Int.ModEq (#12872)
This is an attempt at a more principled fix than #12871. The uses of ring were very superficial. Two of them were just abel and the last one was trivial.
This is motivated by #10765, "ring modulo a given characteristic".