diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/poly/equivalence.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux index 3fa9e59f3..927189171 100644 --- a/stdlib/source/test/lux/type/poly/equivalence.lux +++ b/stdlib/source/test/lux/type/poly/equivalence.lux @@ -1,11 +1,11 @@ (.module: [library - [lux {"-" [Variant Record]} - ["_" test {"+" [Test]}] + [lux {"-" Variant Record} + ["_" test {"+" Test}] ["@" target] [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]} + [monad {"+" do}] + [equivalence {"+" Equivalence} [\\poly ["[0]" /]]] [\\specification @@ -18,7 +18,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]]) |