diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/equivalence.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/equivalence.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index e2165cd9e..206150921 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -6,16 +6,16 @@ [monad {"+" [do]}] [\\specification [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\library - ["." / {"+" [Equivalence]}]]) + ["[0]" / {"+" [Equivalence]}]]) (def: .public test Test |