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: $

---
 .../source/program/aedifex/dependency/status.lux   | 38 +++++++++++-----------
 1 file changed, 19 insertions(+), 19 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index bab454ea6..7c66d0688 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -1,14 +1,14 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [equivalence {"+" Equivalence}]]
-    [data
-     [binary {"+" Binary}]
-     ["[0]" sum]
-     ["[0]" product]]]]
-  ["[0]" /// "_"
-   ["[1][0]" hash {"+" Hash SHA-1 MD5}]])
+ [library
+  [lux "*"
+   [abstract
+    [equivalence {"+" Equivalence}]]
+   [data
+    [binary {"+" Binary}]
+    ["[0]" sum]
+    ["[0]" product]]]]
+ ["[0]" /// "_"
+  ["[1][0]" hash {"+" Hash SHA-1 MD5}]])
 
 (type: .public Status
   (Variant
@@ -25,15 +25,15 @@
 
 (def: .public equivalence
   (Equivalence Status)
-  ($_ sum.equivalence
-      ..any_equivalence
-      ($_ sum.equivalence
-          ///hash.equivalence
-          ///hash.equivalence)
-      ($_ product.equivalence
-          ///hash.equivalence
-          ///hash.equivalence)
-      ))
+  (all sum.equivalence
+       ..any_equivalence
+       (all sum.equivalence
+            ///hash.equivalence
+            ///hash.equivalence)
+       (all product.equivalence
+            ///hash.equivalence
+            ///hash.equivalence)
+       ))
 
 (def: .public (verified payload)
   (-> Binary Status)
-- 
cgit v1.2.3