diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/meta/type/quotient.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/meta/type/quotient.lux b/stdlib/source/library/lux/meta/type/quotient.lux index a872c9992..0687af5ce 100644 --- a/stdlib/source/library/lux/meta/type/quotient.lux +++ b/stdlib/source/library/lux/meta/type/quotient.lux @@ -57,7 +57,7 @@ (, g!_) (.undefined)))) - ... (` ((,! //.by_example) [(, g!t) (, g!c) (, g!%)] + ... (` (//.by_example [(, g!t) (, g!c) (, g!%)] ... (is (..Class (, g!t) (, g!c) (, g!%)) ... (, class)) ... (..Quotient (, g!t) (, g!c) (, g!%)))) |