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/artifact/snapshot.lux   | 38 +++++++++++-----------
 1 file changed, 19 insertions(+), 19 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact/snapshot.lux')

diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 8f06a3817..db9fa0891 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -1,19 +1,19 @@
 (.using
-  [library
-   [lux {"-" Type}
-    [abstract
-     [equivalence {"+" Equivalence}]
-     [monad {"+" do}]]
-    [control
-     ["<>" parser
-      ["<[0]>" xml {"+" Parser}]
-      ["<[0]>" text]]]
-    [data
-     ["[0]" sum]
-     [format
-      ["[0]" xml {"+" XML}]]]]]
-  ["[0]" / "_"
-   ["[1][0]" stamp {"+" Stamp}]])
+ [library
+  [lux {"-" Type}
+   [abstract
+    [equivalence {"+" Equivalence}]
+    [monad {"+" do}]]
+   [control
+    ["<>" parser
+     ["<[0]>" xml {"+" Parser}]
+     ["<[0]>" text]]]
+   [data
+    ["[0]" sum]
+    [format
+     ["[0]" xml {"+" XML}]]]]]
+ ["[0]" / "_"
+  ["[1][0]" stamp {"+" Stamp}]])
 
 (type: .public Snapshot
   (Variant
@@ -28,10 +28,10 @@
 
 (def: .public equivalence
   (Equivalence Snapshot)
-  ($_ sum.equivalence
-      ..any_equivalence
-      /stamp.equivalence
-      ))
+  (all sum.equivalence
+       ..any_equivalence
+       /stamp.equivalence
+       ))
 
 (template [<definition> <tag>]
   [(def: <definition> xml.Tag ["" <tag>])]
-- 
cgit v1.2.3