From 8c3a1afab9efeb86e2f53d743551fc689fbad257 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Jun 2022 13:33:48 -0400
Subject: De-sigil-ification: suffix : [Part 4]

---
 stdlib/source/program/aedifex/artifact/snapshot.lux  |  8 ++++----
 stdlib/source/program/aedifex/artifact/time/date.lux | 10 +++++-----
 2 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact')

diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 7784faa1f..b9fde212c 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -21,11 +21,11 @@
    {#Local}
    {#Remote Stamp}))
 
-(implementation: any_equivalence
+(def: any_equivalence
   (Equivalence Any)
-
-  (def: (= _ _)
-    true))
+  (implementation
+   (def: (= _ _)
+     true)))
 
 (def: .public equivalence
   (Equivalence Snapshot)
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 85dee4278..de20211f2 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -57,12 +57,12 @@
     (-> Date date.Date)
     (|>> representation))
 
-  (implementation: .public equivalence
+  (def: .public equivalence
     (Equivalence Date)
-
-    (def: (= reference subject)
-      (date#= (representation reference)
-              (representation subject))))
+    (implementation
+     (def: (= reference subject)
+       (date#= (representation reference)
+               (representation subject)))))
 
   (def: .public (format value)
     (%.Format Date)
-- 
cgit v1.2.3