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 0824df5 commit 3092341Copy full SHA for 3092341
docs/docs/reference/multiversal-equality.md
@@ -20,7 +20,7 @@ a value `y` has type `S` instead of the expected type `T`.
20
If all you do with `y` is compare it to other values of type `T`, the program will
21
typecheck but probably give unexpected results.
22
23
-Multiversal equaliy is an opt-in way to make universal equality
+Multiversal equality is an opt-in way to make universal equality
24
safer. The idea is that by declaring an `implicit` value one can
25
restrict the types that are legal in comparisons. The example above
26
would not typecheck if an implicit was declared like this for type `T`
0 commit comments