From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 stdlib/source/test/aedifex/dependency/status.lux | 72 ++++++++++++------------
 1 file changed, 36 insertions(+), 36 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 5008cbb9a..948de489f 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -1,48 +1,48 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [data
-     ["[0]" binary "_"
-      ["[1]T" \\test]]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
-  ["$[0]" /// "_"
-   ["[1][0]" hash]]
-  [\\program
-   ["[0]" /
-    ["//[1]" /// "_"
-     ["[1][0]" hash]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [data
+    ["[0]" binary "_"
+     ["[1]T" \\test]]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
+ ["$[0]" /// "_"
+  ["[1][0]" hash]]
+ [\\program
+  ["[0]" /
+   ["//[1]" /// "_"
+    ["[1][0]" hash]]]])
 
 (def: .public random
   (Random /.Status)
-  ($_ random.or
-      (random#in [])
-      (random.or ($///hash.random ///hash.sha-1)
-                 ($///hash.random ///hash.md5))
-      (random.and ($///hash.random ///hash.sha-1)
+  (all random.or
+       (random#in [])
+       (random.or ($///hash.random ///hash.sha-1)
                   ($///hash.random ///hash.md5))
-      ))
+       (random.and ($///hash.random ///hash.sha-1)
+                   ($///hash.random ///hash.md5))
+       ))
 
 (def: .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Status]
-             ($_ _.and
-                 (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence ..random))
+             (all _.and
+                  (_.for [/.equivalence]
+                         ($equivalence.spec /.equivalence ..random))
 
-                 (do random.monad
-                   [payload (binaryT.random 1)]
-                   (_.cover [/.verified]
-                            (case (/.verified payload)
-                              {/.#Verified sha1 md5}
-                              true
+                  (do random.monad
+                    [payload (binaryT.random 1)]
+                    (_.cover [/.verified]
+                             (case (/.verified payload)
+                               {/.#Verified sha1 md5}
+                               true
 
-                              _
-                              false)))
-                 ))))
+                               _
+                               false)))
+                  ))))
-- 
cgit v1.2.3