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

Estimated changes