aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/poly/equivalence.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/type/poly/equivalence.lux')
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index 8e03475f4..ae73c44a7 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -6,18 +6,18 @@
[monad {"+" [do]}]
[equivalence {"+" [Equivalence]}
[\\poly
- ["." /]]]
+ ["[0]" /]]]
[\\specification
- ["$." equivalence]]]
+ ["$[0]" equivalence]]]
[control
- ["." maybe]]
+ ["[0]" maybe]]
[data
- ["." bit]
- ["." text]
+ ["[0]" bit]
+ ["[0]" text]
[collection
- ["." list]]]
+ ["[0]" list]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]
["i" int]]]