From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 22:50:21 -0400
Subject: De-taggification | part 4

---
 stdlib/source/test/aedifex/hash.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/test/aedifex/hash.lux')

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)
-- 
cgit v1.2.3