We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8980d5e commit 05a8540Copy full SHA for 05a8540
src/Data/EuclideanRing.purs
@@ -59,7 +59,7 @@ import Data.Semiring (class Semiring, add, mul, one, zero, (*), (+))
59
-- | negative infinity if the divisor is positive, and towards positive infinity
60
-- | if the divisor is negative. Note that all three definitions are identical if
61
-- | we restrict our attention to nonnegative dividends and divisors.
62
-
+-- |
63
-- | In versions 1.x, 2.x, and 3.x of the Prelude, the `EuclideanRing Int`
64
-- | instance used truncating division. As of 4.x, the `EuclideanRing Int`
65
-- | instance uses Euclidean division. Additional functions `quot` and `rem` are
0 commit comments