aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/type/quotient.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux/type/quotient.lux30
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/documentation/lux/type/quotient.lux b/stdlib/source/documentation/lux/type/quotient.lux
index 9b6289933..799645f81 100644
--- a/stdlib/source/documentation/lux/type/quotient.lux
+++ b/stdlib/source/documentation/lux/type/quotient.lux
@@ -1,17 +1,17 @@
(.using
- [library
- [lux {"-" type}
- ["$" documentation {"+" documentation:}]
- [control
- ["<>" parser
- ["<[0]>" code]]]
- [data
- ["[0]" text {"+" \n}
- ["%" format {"+" format}]]]
- [macro
- ["[0]" template]]]]
- [\\library
- ["[0]" /]])
+ [library
+ [lux {"-" type}
+ ["$" documentation {"+" documentation:}]
+ [control
+ ["<>" parser
+ ["<[0]>" code]]]
+ [data
+ ["[0]" text {"+" \n}
+ ["%" format {"+" format}]]]
+ [macro
+ ["[0]" template]]]]
+ [\\library
+ ["[0]" /]])
(documentation: (/.Class value label)
"The class knows how to classify/label values that are meant to be equivalent to one another.")
@@ -34,8 +34,8 @@
Type
(type even))
- (: Even
- (quotient even 123))])
+ (is Even
+ (quotient even 123))])
(.def: .public documentation
(.List $.Module)