aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/hash.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
-rw-r--r--stdlib/source/test/aedifex/hash.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 94608cf7b..a3220b756 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -5,25 +5,25 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." codec]]]
+ ["$[0]" equivalence]
+ ["$[0]" codec]]]
[control
- ["." try]
- ["." exception]]
+ ["[0]" try]
+ ["[0]" exception]]
[data
- ["." binary {"+" [Binary]}]
+ ["[0]" binary {"+" [Binary]}]
[text
["%" format {"+" [format]}]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\program
- ["." /]]
+ ["[0]" /]]
[test
[lux
[data
- ["_." binary]]]])
+ ["_[0]" binary]]]])
(def: .public (random hash)
(All (_ h)