diff options
Diffstat (limited to 'stdlib/source/test/lux/type/poly/equivalence.lux')
-rw-r--r-- | stdlib/source/test/lux/type/poly/equivalence.lux | 14 |
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]]] |