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".