diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/hash.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index 27e06e7f8..2ac3e428f 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -6,15 +6,15 @@ [monad {"+" [do]}] [\\specification [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random] + ["[0]" random] [number - ["." nat]]]]] + ["[0]" nat]]]]] [\\library - ["." / {"+" [Hash]} + ["[0]" / {"+" [Hash]} [// [equivalence {"+" [Equivalence]}]]]]) @@ -25,7 +25,7 @@ rightN random.nat .let [hash (: (Equivalence (/.Hash Nat)) (implementation - (def: (= (^open "left\.") (^open "right\.")) + (def: (= (^open "left\[0]") (^open "right\[0]")) (and (bit\= (left\= (left\hash leftN) (left\hash leftN)) (right\= (right\hash leftN) (right\hash leftN))) (bit\= (left\= (left\hash rightN) (left\hash rightN)) |