We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4650e8d commit 3777acfCopy full SHA for 3777acf
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