diff options
Diffstat (limited to 'stdlib/source/test/lux/type/quotient.lux')
-rw-r--r-- | stdlib/source/test/lux/type/quotient.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index 54c5f2aa3..f0ed3b638 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -3,18 +3,18 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["n" nat ("#\." equivalence)]]]]] + ["n" nat ("[1]\[0]" equivalence)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (random class super) (All (_ t c %) (-> (/.Class t c %) (Random t) (Random (/.Quotient t c %)))) |