We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 4650e8d + 3777acf commit 69bc58aCopy full SHA for 69bc58a
src/Data/Field.purs
@@ -17,7 +17,7 @@ import Data.Unit (Unit)
17
-- | Instances must satisfy the following law in addition to the
18
-- | `EuclideanRing` laws:
19
-- |
20
--- | - Non-zero multiplicative inverse: ``a `mod` b = 0` for all `a` and `b`
+-- | - Non-zero multiplicative inverse: ``a `mod` b = 0` for all `a` and `b` ``
21
class EuclideanRing a <= Field a
22
23
instance fieldNumber :: Field Number
0 commit comments