diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/quotient.lux | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/type/quotient.lux b/stdlib/source/library/lux/type/quotient.lux index a2ac468af..0006d9dbd 100644 --- a/stdlib/source/library/lux/type/quotient.lux +++ b/stdlib/source/library/lux/type/quotient.lux @@ -3,6 +3,9 @@ [lux (#- type) [abstract [equivalence (#+ Equivalence)]] + [control + [parser + ["<.>" code]]] [macro (#+ with_identifiers) [syntax (#+ syntax:)]] ["." type @@ -45,7 +48,7 @@ ) ) -(syntax: .public (type class) +(syntax: .public (type [class <code>.any]) {#.doc (example "The Quotient type associated with a Class type." (def: even (class even?)) |